Formal XAI via Syntax-Guided Synthesis.

Katrine Bjrner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Knighofer

Browse the full VECoS paper archive.