@misc{indiciae75e784c8c8a4,
  title = {Scaling Lean Theorem Proving for Real-World Code Verification},
  author = {Debargha Ganguly and Divya Raghunathan and Dejan Jovanović and Vikash Singh and Soonho Kong and Aaron Tomb and Aman Goel and Ferhat Erata and Sam Bayless},
  year = {2026},
  url = {https://arxiv.org/abs/2610.38174},
  note = {Source identifier: 2610.38174}
}