Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
amitayusht
/
ProofWala-Multilingual
like
0
Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
License:
mit
Model card
Files
Files and versions
xet
Community
2
main
ProofWala-Multilingual
/
tokenizer.json
Commit History
Upload folder using huggingface_hub
cfa7f0b
verified
amitayusht
commited on
Feb 9, 2025