Sälzer, Marco

6 publications

ICLR 2026 The Counting Power of Transformers Marco Sälzer, Chris Köcher, Alexander Kozachinskiy, Georg Zetzsche, Anthony Widjaja Lin

NeurIPS 2025 The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics Marco Sälzer, Przemysław Andrzej Wałęga, Martin Lange

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

IJCAI 2025 Verifying Quantized Graph Neural Networks Is PSPACE-Complete Marco Sälzer, François Schwarzentruber, Nicolas Troquard

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

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