AlphaNeural
math500_formal_eval_Qwen3.5-9B_prover – Dataset by Ujan | AlphaNeural AI