arXiv· Debargha Ganguly·2026-10-28 10:23· 3 天前Scaling Lean Theorem Proving for Real-World Code VerificationScaling Lean Theorem Proving for Real-World Code Verification来源：arXiv · arxiv.org