[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.