Login / Signup
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.
Huajian Xin
Daya Guo
Zhihong Shao
Zhizhou Ren
Qihao Zhu
Bo Liu
Chong Ruan
Wenda Li
Xiaodan Liang
Published in:
CoRR (2024)
Keyphrases
</>
theorem proving
synthetic data
real world
theorem prover
first order logic
automated theorem proving
automated reasoning
automated deduction
inference rules
decision procedures
real image data
proof procedure
proof planning
term rewriting
automatic programming
consequence finding
geometry theorem proving
parallel search
proof search
logical inference
combinatorial search
data sets
distributed search
real life
mri data
predicate calculus
propositional logic
artificial intelligence