Damian Heiman
- Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
2024/05/23 by Veeti Ahvonen, Ahvonen, Veeti, Damian Heiman +5 · 4 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