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, 60. pp. 141-150. ISSN 1787-5021 (2024)

[thumbnail of 34729371.pdf]
Előnézet
Szöveg
34729371.pdf - Megjelent verzió

Download (505kB) | Előnézet
[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
Szerző azonosítók:
Szász Attila
Bánhelyi Balázs MTMT
Mű típusa: Folyóiratcikk
Folyóirat/kiadvány címe: ANNALES MATHEMATICAE ET INFORMATICAE
Publikáció dátuma: 2024
Kötet: 60
Terjedelem: 10
Oldalak: pp. 141-150
ISSN: 1787-5021
Kar/Egység: Természettudományi és Informatikai Kar
Intézmény: Szegedi Tudományegyetem (2000-)
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: 2025. Feb. 10. 08:38
URI: http://publicatio.bibl.u-szeged.hu/id/eprint/34291

Actions (login required)

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

Letöltések

Letöltések havi bontásban az elmúlt egy évben

Loading...