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

Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website

@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},
     publisher = {mathdoc},
     volume = {60},
     year = {2024},
     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
PB  - mathdoc
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
%I mathdoc
%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
Attila Szász; Balázs Bánhelyi. Effective inclusion methods for verification of ReLU neural networks. Annales mathematicae et informaticae, Tome 60 (2024), pp. 141-150. doi : 10.33039/ami.2024.02.007. http://geodesic.mathdoc.fr/articles/10.33039/ami.2024.02.007/

Cité par Sources :