Effective inclusion methods for verification of ReLU neural networks

Szász Attila; Bánhelyi Balázs: Effective inclusion methods for verification of ReLU neural networks.
ANNALES MATHEMATICAE ET INFORMATICAE. ISSN 1787-5021 (2024)

[thumbnail of AMI_online_1516.pdf] Szöveg
AMI_online_1516.pdf - Elfogadott verzió
Korlátozott hozzáférés: SZTE polgárok számára hozzáférhető, repozitóriumba való belépés után

Download (504kB) | Másolat kérése
Mű típusa: Folyóiratcikk
Folyóirat/kiadvány címe: ANNALES MATHEMATICAE ET INFORMATICAE
Publikáció dátuma: 2024
Terjedelem: 10
ISSN: 1787-5021
Kar/Egység: Természettudományi és Informatikai Kar
Intézmény: Szegedi Tudományegyetem
Nyelv: angol
MTMT rekordazonosító: 34729371
DOI azonosító: https://doi.org/10.33039/ami.2024.02.007
Dátum: 2024. Júl. 24. 11:39
Utolsó módosítás: 2024. Júl. 24. 11:39
URI: http://publicatio.bibl.u-szeged.hu/id/eprint/34291

Actions (login required)

Tétel nézet Tétel nézet