Fast Matrix Multiplication in Small Formats: Discovering New Schemes with an Open-Source Flip Graph Framework Paper • 2603.02398 • Published 17 days ago • 1
VESPO: Variational Sequence-Level Soft Policy Optimization for Stable Off-Policy LLM Training Paper • 2602.10693 • Published Feb 11 • 220
Does Your Reasoning Model Implicitly Know When to Stop Thinking? Paper • 2602.08354 • Published Feb 9 • 262
Running Featured 68 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 68 Who needs 1T parameters? Olympiad proofs with a 4B model