AlphaNeural
math500_formal_eval_NVIDIA-Nemotron-Nano-12B-v2_prover_judge – Dataset by Ujan | AlphaNeural AI