3 citations · 3 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.CC2026
The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
Eric Alsmann, Martin Lange, Marco Sälzer
We investigate the computational complexity of neural network verification in quantised settings. We distinguish three classes of Feedforward Neural Networks (FNNs): rational FNNs…
cs.LO2026
On the Expressiveness of State Space Models via Temporal Logics
Eric Alsmann, Lowejatan Noori, Martin Lange
We investigate the expressive power of state space models (SSM), which have recently emerged as a potential alternative to transformer architectures in large language models. Build…