Huajian Xin

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🌉 Interdisciplinary Bridge · Silver 🐣 Hot Topic Early Bird

Venues

ICLR (3) NeurIPS (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)

Research topics

Artificial Intelligence (4) Core AI (3) Knowledge & Reasoning (1) Machine Learning (1) Mathematics & Optimization (1) Natural Language Processing (1) Generation (1) Learning Paradigms (1) Mathematics (1) Optimization & Theory (1) Reasoning (1)

Keywords

large language model (3) formal proof (2) theorem proving (1) automated reasoning (1) formal verification (1) monte carlo tree search (1) recursive reasoning (1) recursive algorithm (1) language model (1) sparse reward (1) proof search (1) intrinsic reward (1) automated theorem proving (1) recursive proof (1) theorem prover (1) neural theorem proving (1) data synthesis (1) step-by-step reasoning (1) formal theorem proving (1) proof assistant (1)

Papers

DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search ICLR 2025 LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024 MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ICLR 2024 Proving Theorems Recursively NeurIPS 2024