PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification.

Hongwei Li, Yuheng Tang, Shiqi Wang, Wenbo Guo

Browse the full ICML paper archive.