FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

H
Hermann, Miki	MCP: Capturing Big Data by Satisfiability
L
Levie, Ron	A Rate-Distortion Framework for Explaining Model Decisions and Application to CartoonX
M
Müller, Mark Niklas	Verification of Realistic Neural Networks
N
Narodytska, Nina	Verification of Binarized Neural Networks: Challenges and Opportunities
S
Salzer, Gernot	MCP: Capturing Big Data by Satisfiability
Schidler, Andre	SAT-Based Induction of Explainable Decision Trees
Stuckey, Peter	Building Optimal Decision Trees
Subercaseaux, Bernardo	The Exciting Theory of Formal Explanations

Disclaimer | Powered by EasyChair Smart Program