Lange, Martin

4 publications

ICLR 2026 On the Expressiveness of State Space Models via Temporal Logics Eric Alsmann, Lowejatan Noori, Martin Lange

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