Scaling Lean Theorem Proving for Real-World Code Verification By Debargha Ganguly, Divya Raghunathan, Dejan Jovanović, Vikash Singh, Soonho Kong · HF Daily Papers · Oct 28, 2026 HF Daily Papers' note score 5 Categories: Research