Antti Kuusisto

1. Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
   2024/05/23 by Veeti Ahvonen, Damian Heiman, Ahvonen, Veeti +5 · 3 citations
   Computer Science · Engineering · #Advanced Graph Neural Networks #Artificial Intelligence (cs.AI) #F.1.1 #F.4.1 #FOS: Computer and information sciences #Fault Detection and Control Systems #I.2.0 #Logic in Computer Science (cs.LO) #Neural Networks and Applications
2. Explainability via Short Formulas: the Case of Propositional Logic with Implementation
   2022/09/03 by Reijo Jaakkola, Tomi Janhunen, Jaakkola, Reijo +7 · 2 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #Formal Methods in Verification