I built a demo of MathForm on Hugging Face
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 25/100
- Issue type
- Feature
- Clarity
- Needs clarification
- Activity status
- Quiet
- Tech stack
- huggingface
- Domain
- ai
Research direction
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.
Written by the indexing model from the issue text.
Description
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
- Dominant language
- Python
- Stars
- 19
- Forks
- 1
- PR merge metrics
- No merged PRs in 30d
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from OpenBMB/MathForm
All issues in OpenBMB/MathForm
Similar issues
-
enhancement
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
canonical/paas-charm#368 · 1 comment ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
tech debt
Difficulty 2/5 1-3 hours Newbie friendliness 75/100
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
StevenBlack/hosts#3256 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 90/100
qualcomm/qai-appbuilder#275 ·