Picture for Antti Kuusisto

Antti Kuusisto

Globally Interpretable Classifiers via Boolean Formulas with Dynamic Propositions

Add code
Jun 03, 2024
Viaarxiv icon

Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats

Add code
May 23, 2024
Viaarxiv icon

Interpretable classifiers for tabular data via discretization and feature selection

Add code
Feb 08, 2024
Viaarxiv icon

Short Boolean Formulas as Explanations in Practice

Add code
Jul 13, 2023
Viaarxiv icon

Explainability via Short Formulas: the Case of Propositional Logic with Implementation

Add code
Sep 03, 2022
Figure 1 for Explainability via Short Formulas: the Case of Propositional Logic with Implementation
Viaarxiv icon

Rational coordination with no communication or conventions

Add code
Sep 07, 2017
Figure 1 for Rational coordination with no communication or conventions
Viaarxiv icon

On the uniform one-dimensional fragment

Add code
Apr 07, 2016
Viaarxiv icon