%0 Journal Article
%A Gergely Kovásznai
%A Dorina Hedvig Kiss
%A Péter Mlinkó
%T Formal verification for quantized neural networks
%J Annales mathematicae et informaticae
%D 2023
%P 36-48
%V 57
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2023.04.003/
%R 10.33039/ami.2023.04.003
%G en
%F AMI_2023_57_a2