conftrace_

reproduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

patching agent (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