I built a demo of MathForm on Hugging Face

Hey @OpenBMB 🤗, it's me again, Poli from Hugging Face

You keep shipping 🚢 — thanks for open-sourcing MathForm! Once again, me + my agent built an interactive demo app of it on Hugging Face Spaces, running on a free ZeroGPU infrastructure. It's built on top of openbmb/MathForm-8B.

Here's a link to the demo: https://huggingface.co/spaces/hugging-apps/mathform-8b-autoformalize

And you know the spiel, but it would be great to transfer it to your organization/user on Hugging Face. Just let me know which username/org to transfer over, we hope it can give your work more visibility, discoverability and allows folks to try it out.

In the future, feel free to already ship models with demos included. You can use this one as a blueprint to build by yourself or with the help of an agent — you can load the huggingface-spaces skill on Claude Code, Codex, Pi, etc.

(If you have any questions or just want to chat more about this, you can find me on Twitter, LinkedIn or apolinario @ huggingface.co)

Cheers,

Poli

Esamina lo Space di Hugging Face collegato e il modello openbmb/MathForm-8B, quindi conferma quale organizzazione o utente OpenBMB su Hugging Face dovrebbe ricevere la demo. Il lavoro è completato quando i maintainer forniscono la destinazione e il trasferimento dello Space è completato.