Kovásznai, Gergely, Kiss, Dorina Hedvig, Mlinkó, Péter (2023) Formal verification for quantized neural networks Annales Mathematicae et Informaticae. 57. pp. 36-48. ISSN 1787-6117 (Online)