Hugging Face's logo
INSAIT-Institute 's Collections
SPEAR
ReVLA: Reverting Visual Domain Limitation of Robotic Models
MamayLM-v1.0-Gemma-3
BrokenMath
MixAT
Open Proof Corpus
MamayLM-Gemma-2
BgGPT-Gemma-2

Open Proof Corpus

A collection of the Open Proof Corpus dataset and the finetuned judging model.

Upvote
-