Publications

Haocheng Wang, Baiyu Huang, Yingjia Wan, Xiao Zhu, Xiaoyang Liu, Yinya Huang, Zhijiang Guo (2026). FormalRx: Rectify and eXamine Semantic Failures in Autoformalization. ICML 2026 (& Official Challenge Benchmark for the 3rd AI4MATH Workshop @ICML2026).

Paper Dataset

Yingjia Wan, Haochen Tan, Xiao Zhu, Xinyu Zhou, Zhiwei Li, Qingsong Lv, Changxuan Sun, Jiaqi Zeng, Yi Xu, Jianqiao Lu, Yinhong Liu, Zhijiang Guo (2025). FaStfact: Faster, Stronger Long-Form Factuality Evaluations in LLMs. EMNLP 2025 (Findings).

Code Paper

Anjiang Wei, Yuheng Wu, Yingjia Wan, Tarun Suresh, Huanmi Tan, Zhanke Zhou, Sanmi Koyejo, Ke Wang, Alex Aiken (2025). SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas. EMNLP 2025.

Code Paper

Jianqiao Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo (2024). FormalAlign: Automated Alignment Evaluation for Autoformalization. ICLR 2025.

Paper

Jianqiao Lu, Yingjia Wan, Zhengying Liu, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo (2024). Process-Driven Autoformalization in Lean 4. Preprint available.

Code Dataset Paper

Zhongshen Zeng, Yinhong Liu, Yingjia Wan, Jingyao Li, Pengguang Chen, Jianbo Dai, Yuxuan Yao, Rongwu Xu, Zehan Qi, Wanru Zhao, Linling Shen, Jianqiao Lu, Haochen Tan, Yukang Chen, Hao Zhang, Zhan Shi, Bailin Wang, Zhijiang Guo, Jiaya Jia (2024). MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs. NeurIPS 2024.

Code Dataset Leaderboard Paper

Jianqiao Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yinya Huang, Zhijiang Guo (2024). AutoPSV: Automated Process-Supervised Verifier. NeurIPS 2024.

Code Paper