Datasetpublic

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

sourceHugging Faceupdated 4mo agoView on Hugging Face

0likes11downloads

2 commits on main

040c31f4mo ago

Upload dataset

Ujan

a49594c4mo ago

initial commit

Ujan