TY  - RPRT
TI  - Fully Automatic Neural Network Reduction for Formal Verification
AU  - Tobias Ladner
AU  - Matthias Althoff
PY  - 2025
UR  - https://arxiv.org/abs/2305.01932
ID  - 2305.01932
ER  -