JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings / training_args.txt

Commit History

Update training_args.txt

f6e94aa
verified

kdizzled commited on May 15

Upload folder using huggingface_hub

37f78df
verified

kdizzled commited on May 2

Upload folder using huggingface_hub

4a9c3b7
verified

kdizzled commited on Apr 30