amitayusht
/

ProofWala-Multilingual

Text Generation

theorem-proving

text2text-generation

Model card Files Files and versions

ProofWala-Multilingual / trainer_state.json

Commit History

Upload folder using huggingface_hub

cfa7f0b
verified

amitayusht commited on Feb 9, 2025