Материал на языке оригинала: English.
Hugging Face (Twitter)
RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive with larger models like GPT-OSS-120B. We open-source our entire pipeline, including data, code, and a blog post, hoping that the community can build on these artifacts to create more specialized models.
15 февраля 2026 г. · Источник: Hugging Face (KB)
Hugging Face (Twitter)
RT @j_dekoninck: Introducing QED-Nano: a 4B model for mathematical proof writing, competitive with larger models like GPT-OSS-120B.
We open-source our entire pipeline, including data, code, and a blog post, hoping that the community can build on these artifacts to create more specialized models.