Running Featured 86 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 86 Who needs 1T parameters? Olympiad proofs with a 4B model
Running 72 Don't Train the Model, Evolve the Harness 🌿 72 Evolving an agent's harness, not its model, on Harvey's LAB
Running 277 The ultimate guide to RL environments: building and scaling them in the LLM era 📝 277 Building and scaling RL environments for LLM training
Running on CPU Upgrade Featured 3.35k The Smol Training Playbook 📚 3.35k The secrets to building world-class LLMs