Damian Heiman

According to our database, Damian Heiman authored at least 8 papers between 2023 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Miguel Moreno, Matias Selin

CoRR, May, 2026

Neural networks as fuzzy logic formulas.

Damian Heiman, Antti Kuusisto, Esko Turunen

CoRR, May, 2026

Expressive Power of Graph Transformers via Logic.

Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Graph neural networks and MSO.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

CoRR, May, 2025

2024

Graded modal logic and counting message passing automata.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

CoRR, 2024

Logical characterizations of recurrent graph neural networks with reals and floats.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto, Carsten Lutz

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 2024

Descriptive Complexity for Neural Networks via Boolean Networks.

Veeti Ahvonen, Damian Heiman, Antti Kuusisto

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Descriptive Complexity for Distributed Computing with Circuits.

Veeti Ahvonen, Damian Heiman, Lauri Hella, Antti Kuusisto

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023