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
Research1 min read
From the original source:
Hugging Face (KB)
Read full article at Hugging Face (KB)This material was compiled from public sources. If its publication affects your rights → Request removal
Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob...
Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob....
Hugging Face (KB)By: t.meFebruary 15, 2026 (Feb 15)
Available in 3 languagesAI Summary & Key Takeaways
- Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob....
Research
KZ·AI C4F8Инсайт дня
Hugging Face (Twitter)RT @_lewtun: We trained a tiny 4B model to reason for millions of tokens through IMO-level prob...
Tags:#Hugging Face
Related stories
A Controlled LLM Workflow for Evidence-Grounded Diagnosis of Risk Score Differences
arXiv:2610.23962v1 Announce Type: new Abstract: We propose a controlled Large Language Model (LLM) workflow for explaining risk score differences using similar historical transactions. The workflow combines reference retrieval and contrastive SHapley Additive exPlanations (SHAP)…
arXiv — cs.AI
Beyond Explicit Intent: Discovering and Shaping Artistic Intent through Human-AI Co-Creation
arXiv:2610.24010v1 Announce Type: new Abstract: Generative AI is becoming an important medium for artistic creation, yet existing interactions often assume that creators can specify intentions in advance and accurately communicate them through text prompts. Artistic intentions,…
arXiv — cs.AI
GardenBench: A lightweight, daily evaluation of LLM capabilities
arXiv:2610.23866v1 Announce Type: new Abstract: We introduce GardenBench, a benchmark with 11 test suites that evaluate the capabilities of Large Language Models (LLMs) across a range of tasks. By systematically prompting LLMs with various lightweight queries, we document…
arXiv — cs.AI
LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
arXiv:2610.24051v1 Announce Type: new Abstract: Text-to-Image (T2I) generative models have made significant progress in producing high-fidelity images from natural-language prompts. Alongside this progress, numerous benchmarks have been developed to evaluate capabilities such as…
arXiv — cs.AI