REAL

Items where Author is "Gajdár, Krisztián"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Kovásznai, Gergely and Gajdár, Krisztián and Narodytska, Nina (2021) Portfolio solver for verifying Binarized Neural Networks. Annales Mathematicae et Informaticae, 53. pp. 183-200. ISSN 1787-6117

This list was generated on Thu Apr 18 11:57:30 2024 CEST.