SAIRfoundation/equational-theories-selected-problems Viewer • Updated 8 days ago • 1.87k • 2.56k • 9
Reasoning Cache: Continual Improvement Over Long Horizons via Short-Horizon RL Paper • 2602.03773 • Published Feb 3 • 12
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
Olmo 3 Collection Artifacts for the Olmo 3 release. • 7 items • Updated about 1 month ago • 167
Running on CPU Upgrade Featured 3.07k The Smol Training Playbook 📚 3.07k The secrets to building world-class LLMs
CohereLabs/c4ai-command-a-03-2025 Text Generation • 111B • Updated Oct 30, 2025 • 4.2k • • 382