Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
JetBrains-Research
/
rocq-language-theorem-embeddings
like
0
Follow
JetBrains Research
85
Safetensors
English
roberta
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
2091a03
rocq-language-theorem-embeddings
2 contributors
History:
2 commits
Andrei Kozyrev
Create README.md
2091a03
verified
5 months ago
.gitattributes
Safe
1.52 kB
initial commit
5 months ago
README.md
5.3 kB
Create README.md
5 months ago
