Marco Sälzer

24 papers A* 4B 1C 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Verifying and interpreting neural networks using finite automata.
Inf. Comput.
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2025 J jnl
NoPE: The Counting Power of Transformers with No Positional Encodings.
CoRR
Chris Köcher, Alexander Kozachinskiy, Anthony Widjaja Lin, Marco Sälzer, Georg Zetzsche
2025 J jnl
The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics.
CoRR
Marco Sälzer, Przemyslaw Andrzej Walega, Martin Lange
2025 A* conf
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning.
ICLR
Marco Sälzer, Eric Alsmann, Martin Lange
2025 J jnl
Verifying Graph Neural Networks with Readout is Intractable.
CoRR
Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025 A* conf
Verifying Quantized Graph Neural Networks is PSPACE-complete.
IJCAI
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2025 J jnl
Verifying Quantized Graph Neural Networks is PSPACE-complete.
CoRR
Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 J jnl
A Logic for Reasoning About Aggregate-Combine Graph Neural Networks.
CoRR
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 A* conf
A Logic for Reasoning about Aggregate-Combine Graph Neural Networks.
IJCAI
Pierre Nunn, Marco Sälzer, François Schwarzentruber, Nicolas Troquard
2024 J jnl
The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.
CoRR
Marco Sälzer, Eric Alsmann, Martin Lange
2024 C conf
Verifying and Interpreting Neural Networks Using Finite Automata.
DLT
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2023 A* conf
Fundamental Limits in Formal Verification of Message-Passing Neural Networks.
ICLR
Marco Sälzer, Martin Lange
2023 — conf
On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.
OVERLAY@AI*IA
Marco Sälzer, Eric Alsmann, Martin Lange
2023 C conf
Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract).
TIME
Marco Sälzer, Silvia Beddar-Wiesing
2022 J jnl
Local higher-order fixpoint iteration.
Inf. Comput.
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
2022 J jnl
Reachability In Simple Neural Networks.
CoRR
Marco Sälzer, Martin Lange
2022 J jnl
Reachability in Simple Neural Networks.
Fundam. Informaticae
Marco Sälzer, Martin Lange
2022 J jnl
Verifying And Interpreting Neural Networks using Finite Automata.
CoRR
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2022 J jnl
We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification.
CoRR
Marco Sälzer, Martin Lange
2021 B conf
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.
MFCS
Florian Bruse, Marco Sälzer, Martin Lange
2021 J jnl
Reachability Is NP-Complete Even for the Simplest Neural Networks.
CoRR
Marco Sälzer, Martin Lange
2021 — conf
Reachability is NP-Complete Even for the Simplest Neural Networks.
RP
Marco Sälzer, Martin Lange
2021 — conf
Towards Learning From Graph Representable Formal Models.
OVERLAY@GandALF
Marco Sälzer, Georg Siebert
2020 — conf
Local Higher-Order Fixpoint Iteration.
GandALF
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer