TY  - JOUR
AU  - Gergely Kovásznai
AU  - Dorina Hedvig Kiss
AU  - Péter Mlinkó
TI  - Formal verification for quantized neural networks
JO  - Annales mathematicae et informaticae
PY  - 2023
SP  - 36
EP  - 48
VL  - 57
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/
DO  - 10.33039/ami.2023.04.003
LA  - en
ID  - AMI_2023_57_a2
ER  -