π About Me
Hi! My name is Xiaoyang Liu (εζζ΄). I am Currently pursuing a PhD under the supervision of Prof. Tao Luo at School of Mathematical Sciences, Shanghai Jiao Tong University (SJTU).
I am interested in Lean and AI4Math, with a particular focus on Autoformalization, Automatic Evaluation, and Automated Theorem Proving. I am actively seeking collaboration opportunities and interesting problems to solve. If youβd like to work together, please reach out at xiaoyang.liu@sjtu.edu.cn.
π₯ News
- 2025.07: Β ππ One paper is accepted at ICML 2025 Workshop (AI4Math)!
π Publications
* denotes Equal Contribution, $\dagger$ denotes Corresponding Author.
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu*, Tao Zhu*, Xiaoyang Liu*, Yu Chen, Zhaoxuan Liu, Qingfeng Guo, Jiashuo Zhang, Kangjie Bao, Tao Luo$\dagger$
In ICML Workshop (AI4Math), 2025
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yuntian Liu, Yu Chen, Yang Jiao$\dagger$, Tao Luo$\dagger$
In ArXiv, 2025