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