Formal XAI via Syntax-Guided Synthesis.
Katrine BjørnerSamuel JudsonFilip Cano CórdobaDrew GoldmanNicholas ShoemakerRuzica PiskacBettina KönighoferPublished in: AISoLA (2023)
Keyphrases
- operational semantics
- precisely defined
- machine processable
- formal model
- genetic algorithm
- computer vision
- website
- program synthesis
- relational databases
- object oriented
- definition language
- formal representation
- formal analysis
- formal methods
- context free grammars
- neural network
- natural language
- data structure
- high level
- case study
- real world