Navigating AND–OR Graph Modifications to Debug Failing Proof Search

Justin Lubin
Marlena Preigh
Max Willsey
Sarah E. Chasins

PLDI 2026, January 2026

BibTeX

@article{navigating-and-or,
  author = {Lubin, Justin and Preigh, Marlena and Willsey, Max and Chasins, Sarah E.},
  title = {Navigating {AND--OR} Graph Modifications to Debug Failing Proof Search},
  year = {2026},
}