Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
JetBrains-Research
/
rocq-language-theorem-embeddings
like
0
Follow
JetBrains Research
72
Safetensors
English
roberta
License:
apache-2.0
Model card
Files
Files and versions
Community
main
rocq-language-theorem-embeddings
Ctrl+K
Ctrl+K
2 contributors
History:
11 commits
kdizzled
Fix inconsistencies in README
23c2adf
verified
16 days ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
README.md
3.36 kB
Fix inconsistencies in README
16 days ago
config.json
654 Bytes
Upload folder using huggingface_hub
about 1 month ago
merges.txt
Safe
456 kB
Upload folder using huggingface_hub
about 1 month ago
model.safetensors
499 MB
LFS
Upload folder using huggingface_hub
about 1 month ago
special_tokens_map.json
Safe
958 Bytes
Upload folder using huggingface_hub
about 1 month ago
tokenizer_config.json
Safe
1.22 kB
Upload folder using huggingface_hub
about 1 month ago
training_args.txt
1.25 kB
Update training_args.txt
26 days ago
vocab.json
Safe
999 kB
Upload folder using huggingface_hub
about 1 month ago
