DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper
• 2405.14333 • Published
• 44
Reasoning
-
-
Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing
Paper • 2404.12253 • Published • 55 -
Improve Mathematical Reasoning in Language Models by Automated Process Supervision
Paper • 2406.06592 • Published • 29 -
Accessing GPT-4 level Mathematical Olympiad Solutions via Monte Carlo Tree Self-refine with LLaMa-3 8B
Paper • 2406.07394 • Published • 29 -
Evolving Deeper LLM Thinking
Paper • 2501.09891 • Published • 115 -
S*: Test Time Scaling for Code Generation
Paper • 2502.14382 • Published • 63 -
LightThinker: Thinking Step-by-Step Compression
Paper • 2502.15589 • Published • 31 -
ProtoReasoning: Prototypes as the Foundation for Generalizable Reasoning in LLMs
Paper • 2506.15211 • Published • 39