Yingjia Wan

~Yingjia_Wan2

3

论文总数

1.5

年均投稿

5.6

平均评分

接收情况2/3

会议分布

ICLR

2

NeurIPS

1

发表论文 (3 篇)

20252 篇

FormalAlign: Automated Alignment Evaluation for Autoformalization

ICLR 2025Poster

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

20241 篇

MR-Ben: A Meta-Reasoning Benchmark for Evaluating System-2 Thinking in LLMs

NeurIPS 2024Poster

合作者 (20)

Jianqiao Lu3 篇

Zhijiang Guo3 篇

Jing Xiong2 篇

Yinya Huang2 篇

Zhengying Liu2 篇

Bailin Wang1 篇

Haochen Tan1 篇