{"id":"dc389610-73fc-4d49-b9a7-00d07acd1c96","slug":"hf-model-jetbrains-research-rocq-language-theorem-embeddings-a22pjc-1f","name":"rocq-language-theorem-embeddings","description":"Hugging Face model JetBrains-Research/rocq-language-theorem-embeddings. 30 downloads.","capabilities":["safetensors","roberta","en","base_model:microsoft/codebert-base","base_model:finetune:microsoft/codebert-base","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":34,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:38:43.099Z"}