Drew Goldman

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 2

Top Topics

Computationally Expensive

Machine Processable

Formal Representation

Top Venues

Publications

Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Mark Santolucito, Drew Goldman, Allyson Weseley, Ruzica Piskac
Programming by Example: Efficient, but Not "Helpful". PLATEAU@SPLASH (2018)