Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
INSAIT-Institute
's Collections
Open Proof Corpus
MixAT
MamayLM-Gemma-2
BgGPT-Gemma-2
Open Proof Corpus
updated
5 days ago
A collection of the Open Proof Corpus dataset and the finetuned judging model.
Upvote
-
INSAIT-Institute/OPC
Viewer
•
Updated
5 days ago
•
4.93k
•
4
•
2
INSAIT-Institute/OPC-R1-8B
8B
•
Updated
5 days ago
•
4
•
1
Upvote
-
Share collection
View history
Collection guide
Browse collections