Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Guidotti, Dario"'
In this work, we present an early prototype of NeVer 2.0, a new system for automated synthesis and analysis of deep neural networks.NeVer 2.0borrows its design philosophy from NeVer, the first package that integrated learning, automated verification
Externí odkaz:
http://arxiv.org/abs/2011.09933
Verification of deep neural networks has witnessed a recent surge of interest, fueled by success stories in diverse domains and by abreast concerns about safety and security in envisaged applications. Complexity and sheer size of such networks are ch
Externí odkaz:
http://arxiv.org/abs/2003.07636
Autor:
Guidotti, Dario1 (AUTHOR) dguidotti@uniss.it, Pandolfo, Laura1 (AUTHOR), Pulina, Luca1 (AUTHOR)
Publikováno v:
Information (2078-2489). Jul2023, Vol. 14 Issue 7, p397. 17p.
Autor:
Eramo, Romina, Fanni, Tiziana, Guidotti, Dario, Pandolfo, Laura, Pulina, Luca, Zedda, Katiuscia
Neural networks are increasingly being used for dealing with complex real-world applications. Despite their success, there are still important open issues such as their limited application in safety and security- critical contexts, wherein assurance
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0b5ed12d14e2fccb44eded4b636e0ff0
Autor:
GUIDOTTI, DARIO
In these last few years, machine learning (ML) has gained incredible traction in the Artificial Intelligence community, and ML models have found successful applications in many different domains across computer science. However, it is hard to provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2aa1c58544bfb5660fa7826c3cd094a7
http://hdl.handle.net/11567/1082694
http://hdl.handle.net/11567/1082694
Autor:
Demarchi, Stefano1 (AUTHOR) stefano.demarchi@edu.unige.it, Guidotti, Dario (AUTHOR), Pulina, Luca (AUTHOR), Tacchella, Armando (AUTHOR)
Publikováno v:
Soft Computing - A Fusion of Foundations, Methodologies & Applications. Jul2024, p1-19.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.