Eric Alsmann

According to our database, Eric Alsmann authored at least 5 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

The Computational Complexity of Formal Reasoning for Encoder-Only Transformers.

Marco Sälzer, Eric Alsmann, Martin Lange

CoRR, 2024

Real-Time Higher-Order Recursion Schemes.

Eric Alsmann, Florian Bruse

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Verifying and Interpreting Neural Networks Using Finite Automata.

Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange

Proceedings of the Developments in Language Theory - 28th International Conference, 2024

2023

On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata.

Marco Sälzer, Eric Alsmann, Martin Lange

Proceedings of the Short Paper Proceedings of the 5th Workshop on Artificial Intelligence and Formal Verification, 2023

2021

Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.

Eric Alsmann, Florian Bruse, Martin Lange

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021