AlphaNeural
Lean-CoT-plus – Dataset by ScalableMath | AlphaNeural AI