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)
Előnézet |
Szöveg
34729371.pdf - Megjelent verzió Download (505kB) | Előnézet |
![]() |
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: |
|
||
---|---|---|---|
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 |