TY  - RPRT
TI  - The Complexity of Verifying Feedforward Neural Networks in Quantised Settings
AU  - Eric Alsmann
AU  - Martin Lange
AU  - Marco Sälzer
PY  - 2026
UR  - https://arxiv.org/abs/2605.29537
ID  - 2605.29537
ER  -