amitayusht
/

ProofWala-Multilingual

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Multilingual

Commit History

Update README.md

fba72ea
verified

amitayusht commited on Feb 9, 2025

Update README.md

4e59751
verified

amitayusht commited on Feb 9, 2025

Update README.md

be9e78a
verified

amitayusht commited on Feb 9, 2025

Update README.md

dd7acb7
verified

amitayusht commited on Feb 9, 2025

Upload folder using huggingface_hub

cfa7f0b
verified

amitayusht commited on Feb 9, 2025

initial commit

aec8e28
verified

amitayusht commited on Feb 9, 2025