Sälzer, Marco

5 publications

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