Hugging Face model: JetBrains-Research/rocq-language-theorem-embeddings
Author: JetBrains-Research
Created: 2025-04-30 19:52:53
Last modified: 2025-10-18 08:25:44
Likes: 0 | Downloads: 80
Tags: safetensors, roberta, en, base_model:microsoft/codebert-base, base_model:finetune:microsoft/codebert-base, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: microsoft/codebert-base
Card metadata:
license: apache-2.0
language: en
base_model: microsoft/codebert-base