Xiaoyang Liu

Xiaoyang Liu

PhD student at SJTU

πŸ‘‹ About Me

As a PhD student expected to graduate in 2028, I am currently actively seeking LLM-related research internship opportunities to further my academic and industrial journey. If you have any relevant openings or are interested in academic collaborations, please feel free to contact me at xiaoyang.liu@sjtu.edu.cn.

Hi! My name is Xiaoyang Liu (εˆ˜ζ™“ζ΄‹). I am a second-year PhD candidate advised by Prof. Tao Luo at School of Mathematical Sciences, Shanghai Jiao Tong University (SJTU).

My research lies at the intersection of Large Language Models (LLMs) and formal verification (Lean), specifically focusing on AI4Math and Verifiable Code Generation.

πŸ”₯ News

  • 2026.05: πŸŽ‰ Paper DSR and FormalRx are accepted at ICML 2026!

  • 2026.01: πŸŽ‰ Paper ASSESS is accepted at ICLR 2026!

  • 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.

ICML 2026
sym

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$\dagger$

In ICML, 2026

ICML 2026
sym

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization

Haocheng Wang*, Baiyu Huang*, Yingjia Wan*, Xiao Zhu, Xiaoyang Liu, Yinya Huang$\dagger$, Zhijiang Guo$\dagger$

In ICML, 2026

ICLR 2026
sym

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 ICLR, 2026

NeurIPS 2025
sym

ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data

Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, Yunqi Liu, Yu Chen, Yuntian Liu, Yang Jiao$\dagger$, Tao Luo$\dagger$

In NeurIPS, 2025

ICML 2025 Workshop (AI4Math)
sym

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 - Present(Expected 2028.06): 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 (ζš¨ε—ε€§ε­¦).

πŸ’¬ Invited Talks

  • 2025.07, AI4Math Workshop @ SJTU, Shanghai, China.
  • 2026.07, AI4Math Workshop @ ZJU, Hangzhou, China.