MathArena Benchmark Collection Competitions that are in the MathArena benchmark and on the website. • 24 items • Updated 10 days ago • 2
Running Featured 68 QED-Nano: Teaching a Tiny Model to Prove Hard Theorems 📝 68 Who needs 1T parameters? Olympiad proofs with a 4B model