Huajian Xin
- Papers
- 10
Cite
Notes
Only stored in your browser.
Authored papers
10DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning
preprint
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
arXiv 2025
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
arXiv 2025
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
arXiv 2025
DeepSeek-V3 Technical Report
arXiv 2024
DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model
arXiv 2024
DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
arXiv 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv 2024
FIMO: A Challenge Formal Dataset for Automated Theorem Proving
arXiv 2023
Lyra: Orchestrating Dual Correction in Automated Theorem Proving
arXiv 2023
Affiliations
Frequent co-authors
10from 10 papers