TY  - RPRT
TI  - Formalizing Piecewise Affine Activation Functions of Neural Networks in Coq
AU  - Andrei Aleksandrov
AU  - Kim Völlinger
PY  - 2023
UR  - https://arxiv.org/abs/2301.12893
ID  - 2301.12893
ER  -