Geodesic
Portfolio solver for verifying Binarized Neural Networks
Annales mathematicae et informaticae, Volume 53 (2021), pp. 183-200

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

Gergely Kovásznai; Krisztián Gajdár; Nina Narodytska. Portfolio solver for verifying Binarized Neural Networks. Annales mathematicae et informaticae, Volume 53 (2021), pp. 183-200. doi: 10.33039/ami.2021.03.007
@article{AMI_2021_53_a11,
     author = {Gergely Kov\'asznai and Kriszti\'an Gajd\'ar and Nina Narodytska},
     title = {Portfolio solver for verifying {Binarized} {Neural} {Networks}},
     journal = {Annales mathematicae et informaticae},
     pages = {183--200},
     year = {2021},
     volume = {53},
     doi = {10.33039/ami.2021.03.007},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.33039/ami.2021.03.007/}
}
TY  - JOUR
AU  - Gergely Kovásznai
AU  - Krisztián Gajdár
AU  - Nina Narodytska
TI  - Portfolio solver for verifying Binarized Neural Networks
JO  - Annales mathematicae et informaticae
PY  - 2021
SP  - 183
EP  - 200
VL  - 53
UR  - http://geodesic.mathdoc.fr/articles/10.33039/ami.2021.03.007/
DO  - 10.33039/ami.2021.03.007
LA  - en
ID  - AMI_2021_53_a11
ER  - 
%0 Journal Article
%A Gergely Kovásznai
%A Krisztián Gajdár
%A Nina Narodytska
%T Portfolio solver for verifying Binarized Neural Networks
%J Annales mathematicae et informaticae
%D 2021
%P 183-200
%V 53
%U http://geodesic.mathdoc.fr/articles/10.33039/ami.2021.03.007/
%R 10.33039/ami.2021.03.007
%G en
%F AMI_2021_53_a11

Cited by Sources: