Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience Paper โข 2512.17260 โข Published 13 days ago โข 48
Running on CPU Upgrade Featured 2.76k The Smol Training Playbook ๐ 2.76k The secrets to building world-class LLMs
Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving Paper โข 2507.23726 โข Published Jul 31, 2025 โข 114
Running Featured 1.24k FineWeb: decanting the web for the finest text data at scale ๐ท 1.24k Generate high-quality text data for LLMs using FineWeb
Running 3.61k The Ultra-Scale Playbook ๐ 3.61k The ultimate guide to training LLM on large GPU Clusters