Lean Language Has Better Scaling Slope for AI Code Understanding Despite Weak Baseline

Analysis finds Lean has lower baseline performance than other programming languages for AI model comprehension but superior scaling characteristics, suggesting models trained at scale on Lean codebases could eventually outperform those trained on more common languages.