pith. the verified trust layer for science. sign in

Static automated program repair for heap properties,

2 Pith papers cite this work. Polarity classification is still indexing.

2 Pith papers citing it

citation-role summary

background 1

citation-polarity summary

fields

cs.CR 1 cs.SE 1

years

2026 1 2024 1

roles

background 1

polarities

background 1

representative citing papers

RepairAgent: An Autonomous, LLM-Based Agent for Program Repair

cs.SE · 2024-03-25 · conditional · novelty 8.0

RepairAgent autonomously repairs 164 bugs on Defects4J including 39 not fixed by prior techniques by treating an LLM as an agent that invokes tools via a finite state machine and dynamic prompts.

citing papers explorer

Showing 2 of 2 citing papers.