Marco Sälzer

According to our database, Marco Sälzer authored at least 12 papers between 2020 and 2024.

Collaborative distances:

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

2024

The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.

Marco Sälzer, Eric Alsmann, Martin Lange

CoRR, 2024

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks.

Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

Verifying and Interpreting Neural Networks Using Finite Automata.

Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange

Proceedings of the Developments in Language Theory - 28th International Conference, 2024

2023

Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract).

Marco Sälzer, Silvia Beddar-Wiesing

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.

Marco Sälzer, Eric Alsmann, Martin Lange

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

Fundamental Limits in Formal Verification of Message-Passing Neural Networks.

Marco Sälzer, Martin Lange

Proceedings of the Eleventh International Conference on Learning Representations, 2023

2022

Reachability in Simple Neural Networks.

Marco Sälzer, Martin Lange

Fundam. Informaticae, 2022

We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification.

Marco Sälzer, Martin Lange

CoRR, 2022

2021

Reachability is NP-Complete Even for the Simplest Neural Networks.

Marco Sälzer, Martin Lange

Proceedings of the Reachability Problems - 15th International Conference, 2021

Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.

Florian Bruse, Marco Sälzer, Martin Lange

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Towards Learning From Graph Representable Formal Models.

Marco Sälzer, Georg Siebert

Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, 2021

2020

Local Higher-Order Fixpoint Iteration.

Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer

Proceedings of the Proceedings 11th International Symposium on Games, 2020