11 citations · 19 across the 12 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023
Short Boolean Formulas as Explanations in Practice
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto +2
We investigate explainability via short Boolean formulas in the data model based on unary relations. As an explanation of length k, we take a Boolean formula of length k that minim…
math.LO2023
A monotone connection between model class size and description length
Reijo Jaakkola, Antti Kuusisto, Miikka Vilander
This paper links sizes of model classes to the minimum lengths of their defining formulas, that is, to their description complexities. Limiting to models with a fixed domain of siz…