conftrace_

patching agent

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

reproduction (1) rule-based planning workflow (1) localization (1) generation (1) validation (1)

Papers

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