Publications

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 arxiv

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 arxiv

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

arXiv

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 arxiv

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 arXiv

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 arxiv