Programming by Example: Efficient, but Not "Helpful". - Mark Santolucito; Drew Goldman; Allyson Weseley; Ruzica Piskac (PLATEAU@SPLASH, 2018)

Formal XAI via Syntax-Guided Synthesis. - Katrine Bjørner; Samuel Judson; Filip Cano 001; Drew Goldman; Nicholas Shoemaker; Ruzica Piskac; Bettina Könighofer (AISoLA, 2023)