TY  - RPRT
TI  - Towards Rigorous Understanding of Neural Networks via Semantics-preserving Transformations
AU  - Maximilian Schlüter
AU  - Gerrit Nolte
AU  - Alnis Murtovi
AU  - Bernhard Steffen
PY  - 2023
UR  - https://arxiv.org/abs/2301.08013
ID  - 2301.08013
ER  -