π 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 AI4Math and Lean, with a particular focus on Autoformalization and Automated Evaluation. 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.09: π Paper ATLAS is accepted at NeurIPS 2025!
-
2025.07: π Paper GTED is accepted at ICML 2025 Workshop (AI4Math)!
π Publications
* denotes Equal Contribution, $\dagger$ denotes Corresponding Author.
ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
Xiaoyang Liu*, Tao Zhu*, Zineng Dong, Yuntian Liu, Qingfeng Guo, Zhaoxuan Liu, Yu Chen, Tao Luo$\dagger$
In arXiv, 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 NeurIPS, 2025
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
π Educations
- 2024.09 - now: Ph.D. in Applied Mathematics, Shanghai Jiao Tong University.
- 2023.09 - 2024.06: M.S. in Data-Driven Modeling, Hong Kong University of Science and Technology.
- 2019.09 - 2023.06: B.S. in Information and Computing Science, Jinan University.