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

Group by: Item Type | No Grouping

Number of items: 1.

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 Sat Jan 3 10:10:35 2026 CET.

Repository of the Academy's Library is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.