Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Paper • 2507.23726 • Published Jul 31, 2025 • 114
CodePDE: An Inference Framework for LLM-driven PDE Solver Generation Paper • 2505.08783 • Published May 13, 2025 • 1
LLM Reasoning Papers Collection Papers to improve reasoning capabilities of LLMs • 20 items • Updated Jan 15, 2025 • 123
