amitayusht
/

ProofWala-Multilingual

Text2Text Generation

theorem-proving

Model card Files Files and versions Community

Resources

View closed (0)

Adding `safetensors` variant of this model

#2 opened 3 months ago by

Improve model card

#1 opened 3 months ago by