Eric Alsmann

PhD student, Theoretical Computer Science / Formal Methods, Universität Kassel

Joined

March 2024

Names

Eric Alsmann (Preferred)

Emails

****@uni-kassel.de (Confirmed)

Personal Links

Career & Education History

PhD student

Theoretical Computer Science / Formal Methods, Universität Kassel (uni-kassel.de)

2023 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

The Computational Complexity of Satisfiability in State Space Models
Eric Alsmann, Martin Lange
- 28th European Conference on Artificial Intelligence 2025
- Readers: Everyone
On the Expressiveness of State Space Models via Temporal Logics
Eric Alsmann, Lowejatan Noori, Martin Lange
- ICLR 2026 Poster
- Readers: Everyone
On the Complexity of Formal Reasoning in State Space Models (Extended Abstract)
Eric Alsmann, Martin Lange
- SAIV 2025 Proceedings
- Readers: Everyone
Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
Marco Sälzer, Eric Alsmann, Martin Lange
- ICLR 2025 Poster
- Readers: Everyone

Co-Authors