Effective inclusion methods for verification of ReLU neural networks
Elmentve itt :
Szerzők: |
Szász Attila Bánhelyi Balázs |
---|---|
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 |
Hasonló tételek
-
ReLU neuron hálózatok robusztusságának vizsgálata szimbolikus levezetéssel
Szerző: Szász Attila
Megjelent: (2022) -
Javítások verifikálhatóan robusztus ReLU neuronhálók tanításához
Szerző: Horváth János
Megjelent: (2023) -
Tutorials on recurrent neural networks and signature verification
Szerző: Malik Muhammad Imran -
Neural networks in economic data analysis
Szerző: Benkő-Kiss Árpád
Megjelent: (2022) -
Predicting exchange rate by neural networks [abstract] /
Szerző: Jovanovic Radmila, et al.
Megjelent: (2000)