Items where Author is "Narodytska, Nina"

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 Thu Mar 27 04:53:21 2025 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.