Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

I built a demo of MathForm on Hugging Face

Aperta
#1 0 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
3/5
Tempo stimato
1-2 giorni
Idoneità per principianti
25/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Tranquilla
Stack tecnologico
huggingface
Ambito
ai

Direzione di ricerca

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.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

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

Lingua principale
Python
Stelle
19
Fork
1
Nessuna PR unita negli ultimi 30g

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di OpenBMB/MathForm

Tutte le issue di OpenBMB/MathForm

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.