Xiaoyang Liu

PhD student, Shanghai Jiaotong University

Joined

November 2024

Names

Xiaoyang Liu (Preferred)

Emails

****@sjtu.edu.cn (Confirmed)

Personal Links

Semantic Scholar

Career & Education History

PhD student

Shanghai Jiaotong University (sjtu.edu.cn)

2024 – 2028

Advisors, Relations & Conflicts

PhD Advisor

2024 – 2028

Expertise

AI4Math

Present

Verifiable Code Generation

Present

Publications

VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
Yifan Bai, Xiaoyang Liu, Zihao Mou, Guihong Wang, Jian Yu, Shuhan Xie, Yantao Li, Yangyu Zhang, Jingwei Liang, Tao Luo
- ICML 2026 AI4Math Workshop Poster
- Readers: Everyone
Decompose, Structure, and Repair: A Neuro-Symbolic Framework for Autoformalization via Operator Trees
Xiaoyang Liu, Zineng Dong, Yifan Bai, Yantao Li, Yuntian Liu, Tao Luo
- ICML 2026 regular
- Readers: Everyone
FormalRx: Rectify and eXamine Semantic Failures in Autoformalization
Haocheng Wang, Baiyu Huang, Yingjia Wan, Xiao Zhu, Xiaoyang Liu, Yinya Huang, Zhijiang Guo
- ICML 2026 regular
- Readers: Everyone
ASSESS: A Semantic and Structural Evaluation Framework for Statement Similarity
Xiaoyang Liu, Tao Zhu, Zineng Dong, Yuntian Liu, Guo qingfeng, Liu ZhaoXuan, Yu Chen, Tao Luo
- ICLR 2026 Poster
- Readers: Everyone
Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization
Yuntian Liu, Tao Zhu, Xiaoyang Liu, Yu Chen, Liu ZhaoXuan, Guo qingfeng, Jiashuo Zhang, Kangjie Bao, Tao Luo
- AI4Math@ICML25 Poster
- Readers: Everyone
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao, Tao Luo
- NeurIPS 2025 poster
- Readers: Everyone

Co-Authors