Yinya Huang

~Yinya_Huang1

6

论文总数

3.0

年均投稿

6.5

平均评分

接收情况5/6

会议分布

ICLR

5

NeurIPS

1

发表论文 (6 篇)

20253 篇

FormalAlign: Automated Alignment Evaluation for Autoformalization

ICLR 2025Poster

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

ICLR 2025Poster

Process-Driven Autoformalization in Lean 4

ICLR 2025Rejected

20243 篇

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ICLR 2024Spotlight

Proving Theorems Recursively

NeurIPS 2024Poster

LEGO-Prover: Neural Theorem Proving with Growing Libraries

合作者 (20)

Zhengying Liu5 篇

Haiming Wang4 篇

Xiaodan Liang4 篇

Huajian Xin3 篇

Jing Xiong3 篇

Zhenguo Li3 篇

Jianqiao Lu3 篇

Zhijiang Guo3 篇