TY  - RPRT
TI  - Efficient and Mathematically Robust Operations for Certified Neural Networks Inference
AU  - Fabien Geyer
AU  - Johannes Freitag
AU  - Tobias Schulz
AU  - Sascha Uhrig
PY  - 2024
UR  - https://arxiv.org/abs/2401.08225
ID  - 2401.08225
ER  -