JetBrains-Research
/

rocq-language-theorem-embeddings

Model card Files Files and versions

rocq-language-theorem-embeddings

Commit History

Fix inconsistencies in README

23c2adf
verified

kdizzled commited on May 26

Update README.md

3930e7d
verified

kdizzled commited on May 20

Write model card

92e1006
verified

kdizzled commited on May 20

Update README.md

46a2044
verified

kdizzled commited on May 15

Update training_args.txt

f6e94aa
verified

kdizzled commited on May 15

Upload folder using huggingface_hub

37f78df
verified

kdizzled commited on May 2

Delete pytorch_model.bin

eb84375
verified

kdizzled commited on May 1

Upload folder using huggingface_hub

1b85157
verified

kdizzled commited on Apr 30

Upload folder using huggingface_hub

4a9c3b7
verified

kdizzled commited on Apr 30

Create README.md

2091a03
verified

Andrei Kozyrev commited on Apr 30

initial commit

2151341
verified

Andrei Kozyrev commited on Apr 30