Yingjia Wan
Yingjia Wan
About
Publications
Experiences
Accomplishments
CV
Blogs
Contact
Light
Dark
Automatic
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
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
Cite
×