Hugging Face's logo

amitayusht
/
ProofWala-Lean

Text Generation
PyTorch
t5
code
mathematics
theorem-proving
text2text-generation
Model card Files Community
1
README.md exists but content is empty.
Downloads last month
4
Inference Providers NEW
Text Generation
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support

Model tree for amitayusht/ProofWala-Lean

Base model

Salesforce/codet5-base
Finetuned
(84)
this model