AlphaNeural
gsm8k_formal_eval_Ministral-3-8B-Reasoning-2512_prover – Dataset by Ujan | AlphaNeural AI