TY  - RPRT
TI  - Scaling Lean Theorem Proving for Real-World Code Verification
AU  - Debargha Ganguly
AU  - Divya Raghunathan
AU  - Dejan Jovanović
AU  - Vikash Singh
AU  - Soonho Kong
AU  - Aaron Tomb
AU  - Aman Goel
AU  - Ferhat Erata
AU  - Sam Bayless
PY  - 2026
UR  - https://arxiv.org/abs/2610.38174
ID  - 2610.38174
ER  -