AlphaNeural
DeepMath-1K – Dataset by ShriKaranHanda | AlphaNeural AI