amitayusht
/

ProofWala-Multilingual

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Multilingual

1.54 kB

1 contributor

History: 1 commit

amitayusht's picture

initial commit

aec8e28 verified 8 months ago