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
3.61 GB
  • 1 contributor
 History: 7 commits
SFconvertbot's picture
SFconvertbot
Adding `safetensors` variant of this model
afc0f2a verified