conftrace_
← Authors

Huajian Xin

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

Achievements

Jump to papers ↓
🧭 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