AlphaNeural
openmath-reasoning-hard – Dataset by d1shs0ap | AlphaNeural AI