Hugging Face's logo

amitayusht
/
ProofWala-Multilingual

Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
Model card Files
xet
 Community
2
ProofWala-Multilingual

Commit History

  1. Update README.md

    amitayusht
    Verified signature
    fba72ea

  2. Update README.md

    amitayusht
    Verified signature
    4e59751

  3. Update README.md

    amitayusht
    Verified signature
    be9e78a

  4. Update README.md

    amitayusht
    Verified signature
    dd7acb7

  5. Upload folder using huggingface_hub

    amitayusht
    Verified signature
    cfa7f0b

  6. initial commit

    amitayusht
    Verified signature
    aec8e28