Материал на языке оригинала: English.
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. ht
15 февраля 2026 г. · Источник: Hugging Face (KB)
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