Hugging Face's logo

Spaces:
hugging-apps
/
mathform-8b-autoformalize
Running on Zero

App Files Community
mathform-8b-autoformalize

Commit History

  1. Upload folder using huggingface_hub Running

    multimodalart HF Staff
    Verified signature
    cc009a4

  2. Upload folder using huggingface_hub

    multimodalart HF Staff
    Verified signature
    e8fca75

  3. Upload folder using huggingface_hub

    multimodalart HF Staff
    Verified signature
    fdb92b4

  4. Upload folder using huggingface_hub

    multimodalart HF Staff
    Verified signature
    3362fa3

  5. Upload folder using huggingface_hub

    multimodalart HF Staff
    Verified signature
    470fb2c

  6. initial commit

    multimodalart HF Staff
    Verified signature
    4220b60