Local Higher-Order Fixpoint Iteration. - Florian Bruse; Jörg Kreiker; Martin Lange; Marco Sälzer (GandALF, 2020)

Towards Learning From Graph Representable Formal Models. - Marco Sälzer; Georg Siebert (OVERLAY@GandALF, 2021)

Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. - Florian Bruse; Marco Sälzer; Martin Lange (MFCS, 2021)

Reachability is NP-Complete Even for the Simplest Neural Networks. - Marco Sälzer; Martin Lange (RP, 2021)

We Cannot Guarantee Safety: The Undecidability of Graph Neural Network Verification. - Marco Sälzer; Martin Lange (CoRR, 2022)

Reachability in Simple Neural Networks. - Marco Sälzer; Martin Lange (Fundam. Informaticae, 2022)

Fundamental Limits in Formal Verification of Message-Passing Neural Networks. - Marco Sälzer; Martin Lange (ICLR, 2023)

On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. - Marco Sälzer; Eric Alsmann; Martin Lange (OVERLAY@AI*IA, 2023)

Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract). - Marco Sälzer; Silvia Beddar-Wiesing (TIME, 2023)

Verifying and Interpreting Neural Networks Using Finite Automata. - Marco Sälzer; Eric Alsmann; Florian Bruse; Martin Lange (DLT, 2024)

A Logic for Reasoning about Aggregate-Combine Graph Neural Networks. - Pierre Nunn; Marco Sälzer; François Schwarzentruber; Nicolas Troquard (IJCAI, 2024)

The Computational Complexity of Formal Reasoning for Encoder-Only Transformers. - Marco Sälzer; Eric Alsmann; Martin Lange (CoRR, 2024)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning. - Marco Sälzer; Eric Alsmann; Martin Lange (ICLR, 2025)

Verifying Quantized Graph Neural Networks is PSPACE-complete. - Marco Sälzer; François Schwarzentruber; Nicolas Troquard (CoRR, 2025)

NoPE: The Counting Power of Transformers with No Positional Encodings. - Chris Köcher; Alexander Kozachinskiy; Anthony Widjaja Lin; Marco Sälzer; Georg Zetzsche (CoRR, 2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics. - Marco Sälzer; Przemyslaw Andrzej Walega; Martin Lange (CoRR, 2025)