Talk Keyword Index

TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: A B C H I L M R S V

A
adversarial robustness	Verification of Realistic Neural Networks
B
Big data	MCP: Capturing Big Data by Satisfiability
C
computing explanations	A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX The Exciting Theory of Formal Explanations
H
Horn formula	MCP: Capturing Big Data by Satisfiability
I
interpretable models	Building Optimal Decision Trees SAT-Based Induction of Explainable Decision Trees
L
logic methods	Building Optimal Decision Trees SAT-Based Induction of Explainable Decision Trees A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX The Exciting Theory of Formal Explanations Verification of Binarized Neural Networks: Challenges and Opportunities
M
machine learning	Building Optimal Decision Trees SAT-Based Induction of Explainable Decision Trees A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX The Exciting Theory of Formal Explanations Verification of Binarized Neural Networks: Challenges and Opportunities Verification of Realistic Neural Networks
R
robustness verification	Verification of Realistic Neural Networks
S
Satisfiability	MCP: Capturing Big Data by Satisfiability
V
Verification	Verification of Binarized Neural Networks: Challenges and Opportunities