3

Mr.Ben: A Comprehensive Meta-Reasoning Benchmark for Analyzing Large Language Models
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
Code Dataset Blog arXiv
Process-Driven Autoformalization in Lean 4
Jianqing Lu, Zhengying Liu, Yingjia Wan, Yinya Huang, Haiming Wang, Zhicheng Yang, Jing Tang, Zhijiang Guo
Code Dataset arxiv
Process-Driven Autoformalization in Lean 4
AutoCV: Empowering Reasoning with Automated Process Labeling via Confidence Variation
Jianqing Lu, Zhiyang Dou, Hongru Wang, Zeyu Cao, Jianbo Dai, Yingjia Wan, Yinya Huang, Zhijiang Guo
Code arxiv
AUTOALIGN: Automated Alignment Evaluation in Autoformalization
Jianqing Lu, Yingjia Wan, Yinya Huang, Zhengying Liu, Zhijiang Guo