Alsmann, Eric

2 publications

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

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