DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Paper
•
2405.14333
•
Published
•
41
Reasoning
-
-
Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing
Paper • 2404.12253 • Published • 56 -
Improve Mathematical Reasoning in Language Models by Automated Process Supervision
Paper • 2406.06592 • Published • 30 -
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 • 29