Post #2306

Hugging Face (Twitter) RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level problems. Heaps excited to share our new blog post covering the full pipeline, from distilling the 🐳 to augmenting RL with a reasoning cache that unlocks extreme inference-time scaling for theorem proving. https://huggingface.co/spaces/lm-provers/qed-nano-blogpost