Huajian Xin

~Huajian_Xin1

5

论文总数

2.5

年均投稿

6.6

平均评分

接收情况4/5

会议分布

ICLR

4

NeurIPS

1

发表论文 (5 篇)

20251 篇

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search

ICLR 2025Poster

20244 篇

Proving Theorems Recursively

NeurIPS 2024Poster

LEGO-Prover: Neural Theorem Proving with Growing Libraries

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data

ICLR 2024Spotlight

Lyra: Orchestrating Dual Correction in Automated Theorem Proving

ICLR 2024Rejected

合作者 (20)

Haiming Wang4 篇

Zhenguo Li4 篇

Zhengying Liu4 篇

Xiaodan Liang3 篇

Yinya Huang3 篇

Chuanyang Zheng2 篇