Effective inclusion methods for verification of ReLU neural networks

Elmentve itt :
Bibliográfiai részletek
Szerzők: Szász Attila
Bánhelyi Balázs
Dokumentumtípus: Cikk
Megjelent: 2024
Sorozat:ANNALES MATHEMATICAE ET INFORMATICAE
Tárgyszavak:
doi:10.33039/ami.2024.02.007

mtmt:34729371
Online Access:http://publicatio.bibl.u-szeged.hu/34291
Leíró adatok
Terjedelem/Fizikai jellemzők:10
ISSN:1787-5021