AlphaNeural
openmath-filtered – Dataset by McGill-NLP | AlphaNeural AI