Lange, Martin

3 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

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