Datasetpublic

Ujan/math500_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes11downloads

settings

This repository belongs to Ujan on Hugging Face.

CoolFace never edits a repository it does not host. Visibility, licence, collaborators and gating are all managed at the source.

namemath500_formal_eval_Ministral-3-8B-Reasoning-2512_prover_judge

visibilitypublic

licencenot set

gatedno

ownerUjan