pith. sign in

Angelix: Scalable mul- tiline program patch synthesis via symbolic analysis

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

6 Pith papers citing it

fields

cs.SE 5 cs.PL 1

verdicts

UNVERDICTED 6

clear filters

representative citing papers

Shared-Context Batched Satisfiability

cs.PL · 2026-06-20 · unverdicted · novelty 5.0

Formalizes shared-context batched satisfiability and evaluates predicate-by-predicate, disjunctive over-approximation, and new Core-Literal Filter on symbolic abstraction and active property checking tasks.

citing papers explorer

Showing 6 of 6 citing papers after filters.