TY  - RPRT
TI  - PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification
AU  - Hongwei Li
AU  - Yuheng Tang
AU  - Shiqi Wang
AU  - Wenbo Guo
PY  - 2025
UR  - https://arxiv.org/abs/2502.02747
ID  - 2502.02747
ER  -