Kuusisto, Antti

2 publications

JAIR 2025 Explainability via Short Formulas: The Case of Propositional Logic with Implementation Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
NeurIPS 2024 Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz