Navigating AND–OR Graph Modifications to Debug Failing Proof Search

@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},
  issue_date = {June 2026},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {10},
  number = {PLDI},
  url = {https://doi.org/10.1145/3808344},
  doi = {10.1145/3808344},
  journal = {Proc. ACM Program. Lang.},
  month = jun,
  articleno = {266},
  numpages = {25},
  keywords = {Debugging, Interactive Program Synthesis, Proof Search}
}