Effective inclusion methods for verification of ReLU neural networks
Elmentve itt :
| Szerzők: | |
|---|---|
| Dokumentumtípus: | Cikk |
| Megjelent: |
2024
|
| Sorozat: | ANNALES MATHEMATICAE ET INFORMATICAE
60 |
| 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 141-150 |
|---|---|
| ISSN: | 1787-5021 |