JetBrains-Research/rocq-language-theorem-embeddings download history

JetBrains-Research/rocq-language-theorem-embeddings is a 125M-parameter model model by JetBrains-Research. In the last 30 days it was downloaded 30 times (9 in the last 7 days), and 406 times in total.

It ranks #315,801 on the Hub by monthly downloads.

It has 0 likes.

It is a fine-tune of microsoft/codebert-base.

Open JetBrains-Research/rocq-language-theorem-embeddings on Hugging Face