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

Devs

PatchPilot: A Cost-Efficient Software Engineering Agent with Early Attempts on Formal Verification | Read Paper on Bytez