Geodesic
Effective inclusion methods for verification of ReLU neural networks
Annales mathematicae et informaticae, Volume 60 (2024), pp. 141-150

See the original article notice from the Annales Mathematica et Informaticae website source 

Attila Szász; Balázs Bánhelyi. Effective inclusion methods for verification of ReLU neural networks. Annales mathematicae et informaticae, Volume 60 (2024), pp. 141-150. doi: 10.33039/ami.2024.02.007
@article{AMI_2024_60_a14,
     author = {Attila Sz\'asz and Bal\'azs B\'anhelyi},
     title = {Effective inclusion methods for verification of {ReLU} neural networks},
     journal = {Annales mathematicae et informaticae},
     pages = {141--150},
     year = {2024},
     volume = {60},
     doi = {10.33039/ami.2024.02.007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/}
}
TY  - JOUR
AU  - Attila Szász
AU  - Balázs Bánhelyi
TI  - Effective inclusion methods for verification of ReLU neural networks
JO  - Annales mathematicae et informaticae
PY  - 2024
SP  - 141
EP  - 150
VL  - 60
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/
DO  - 10.33039/ami.2024.02.007
LA  - en
ID  - AMI_2024_60_a14
ER  - 
%0 Journal Article
%A Attila Szász
%A Balázs Bánhelyi
%T Effective inclusion methods for verification of ReLU neural networks
%J Annales mathematicae et informaticae
%D 2024
%P 141-150
%V 60
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/
%R 10.33039/ami.2024.02.007
%G en
%F AMI_2024_60_a14

Cited by Sources: