Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces

ArXi:2505.17703v3 Announce Type: replace-cross Automatic program repair seeks to generate correct code from buggy programs, with most approaches searching the correct program in a discrete, symbolic space of source code tokens. This symbolic search is fundamentally limited by its inability to directly reason about program behavior. We