SAIRfoundation/equational-theories-selected-problems Viewer • Updated 11 days ago • 1.87k • 3.26k • 9
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL Paper • 2602.03773 • Published Feb 3 • 13
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs Paper • 2602.20629 • Published Feb 24 • 4
QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs Paper • 2602.20629 • Published Feb 24 • 4
Running on CPU Upgrade Featured 3.08k The Smol Training Playbook 📚 3.08k The secrets to building world-class LLMs
CohereLabs/c4ai-command-a-03-2025 Text Generation • 111B • Updated Oct 30, 2025 • 4.12k • • 383