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