conftrace_

rule-based planning workflow

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

patching agent (1) reproduction (1) localization (1) generation (1) validation (1)

Papers

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