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

Review the linked Hugging Face Space and the openbmb/MathForm-8B model, then confirm which OpenBMB Hugging Face organization or user should receive the demo. The work is done when the maintainers provide the destination and the Space transfer is completed.