Wan, Yingjia

4 publications

ICLR 2025 FormalAlign: Automated Alignment Evaluation for Autoformalization Jianqiao Lu, Yingjia Wan, Yinya Huang, Jing Xiong, Zhengying Liu, Zhijiang Guo

NeurIPS 2024 AutoPSV: Automated Process-Supervised Verifier Jianqiao Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yunlong Feng, Zhijiang Guo

NeurIPS 2024 MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs 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

CVPRW 2020 Topometric Imitation Learning for Route Following Under Appearance Change Shaojun Cai, Yingjia Wan