Poster by Huajian Xin Papers
2 papers found
Conference
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
Huajian Xin, Z.Z. Ren, Junxiao Song et al.
ICLR 2025posterarXiv:2408.08152
141
citations
LEGO-Prover: Neural Theorem Proving with Growing Libraries
Haiming Wang, Huajian Xin, Chuanyang Zheng et al.
ICLR 2024posterarXiv:2310.00656