Items where Author is "Kiss, Dorina Hedvig"
Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleKovásznai, Gergely and Kiss, Dorina Hedvig and Mlinkó, Péter (2023) Formal verification for quantized neural networks. Annales Mathematicae et Informaticae, 57. pp. 36-48. ISSN 1787-6117 |