@article{AMI_2023_57_a2,
     author = {Gergely Kov\'asznai and Dorina Hedvig Kiss and P\'eter Mlink\'o},
     title = {Formal verification for quantized neural networks},
     journal = {Annales mathematicae et informaticae},
     pages = {36--48},
     publisher = {mathdoc},
     volume = {57},
     year = {2023},
     doi = {10.33039/ami.2023.04.003},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/}
}