Xiaohan Lin

Bio

I'm currently a second year master's student at Sun Yat-sen University (SYSU), fortunately advised by Prof. Xiaodan Liang. Previously, I obtained my bachelor’s degree of Intelligent Science and Technology in SYSU.

I have a keen interest in complex reasoning with LLM, AI4MATH and formal methods, especially solving mathematical problems with LLM and automated theorem proving.

Education

• 2022-2025: Mphil in Control Science and Engineering, School of Intelligent Systems Engineering, Sun Yat-sen University.
• 2018-2022: Bachelor of Intelligent Science and Technology, School of Intelligent Systems Engineering, Sun Yat-sen University.

Publications

• ATG: Benchmarking Automated Theorem Generation for Generative Language Models.

  (NAACL2024 Findings)

  Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang.

  paper

  data

  leaderboard
• MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.

  (ICLR2024 Spotlight)

  Yinya Huang, Xiaohan Lin, Zhengying Liu, Qingxing Cao, Huajian Xin, Haiming Wang, Zhenguo Li, Linqi Song, Xiaodan Liang.

  paper

  code
• FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving.

  (preprint, under review)

  Xiaohan Lin*, Qingxing Cao*, Yinya Huang*, Haiming Wang*, Jianqiao Lu, Zhengying Liu, Linqi Song, Xiaodan Liang.

  paper

  data

Experience

• Research Intern, Moonshot AI, Alignment team, 2024.08-2025.02
  Research Intern, Huawei Noah's Ark Lab, 2023.05-2024.07
  

Professional Service

• NeurIPS 2024, datasets and benchmarks track, Reviewer.
  
• ICML 2024, AI4MATH workshop, Area Chair and Challenge Lead Organizer.