Model: JetBrains-Research/rocq-language-theorem-embeddings
Author: JetBrains-Research
Tags: safetensors, roberta, en, base_model:microsoft/codebert-base, base_model:finetune:microsoft/codebert-base, license:apache-2.0, region:us
Base models (finetune): id: microsoft/codebert-base
Card metadata: license: apache-2.0
language: en
base_model: microsoft/codebert-base
Likes: 0 | All-time downloads: 123
Created: 2025-04-30 19:52:53