AlphaNeural
math500_formal_eval_Falcon-H1R-7B_prover – Dataset by Ujan | AlphaNeural AI