Hugging Face's logo

JetBrains-Research
/
rocq-language-theorem-embeddings

Safetensors
English
roberta
Model card Files
xet
Community
rocq-language-theorem-embeddings
6.82 kB
  • 2 contributors
 History: 2 commits
Andrei Kozyrev
Create README.md
2091a03 verified