AlphaNeural
math500_formal_eval_Qwen3-4B-Thinking-2507_prover – Dataset by Ujan | AlphaNeural AI