Effective inclusion methods for verification of ReLU neural networks
Elmentve itt :
Szerzők: | |
---|---|
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 |
Terjedelem/Fizikai jellemzők: | 10 |
---|---|
ISSN: | 1787-5021 |