Huajian Xin

4 papers · 2024–2025 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🐝 Cross-Pollinator (13) 🌉 Interdisciplinary Bridge

Conferences

ICLR (3) NIPS (1)

Top co-authors

Zhengying Liu (3) Yinya Huang (3) Haiming Wang (3) Zhenguo Li (3) Xiaodan Liang (3) Qingxing Cao (2) Jian Yin (2) Bo Liu (1) Jing Xiong (1) Z.Z. Ren (1)

Keywords

automated reasoning (1) formal verification (1) recursive reasoning (1) recursive algorithm (1) language model (1) proof search (1) automated theorem proving (1) recursive proof (1) theorem prover (1) step-by-step reasoning (1) large language model (1)

Papers

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

Proving Theorems Recursively NIPS 2024

LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024

MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ICLR 2024