AlphaNeural
math_reasoning_autoformalization_track_1 – Dataset by AlgorithmicResearchGroup | AlphaNeural AI