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.