Datasetpublic

Ujan/gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover

sourceHugging Faceupdated 5mo agoView on Hugging Face

0likes6downloads

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.

namegsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover

visibilitypublic

licencenot set

gatedno

ownerUjan