Voir la notice de l'article provenant de la source Annales Mathematica et Informaticae website
@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},
publisher = {mathdoc},
volume = {53},
year = {2021},
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 PB - mathdoc 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 %I mathdoc %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
Gergely Kovásznai; Krisztián Gajdár; Nina Narodytska. Portfolio solver for verifying Binarized Neural Networks. Annales mathematicae et informaticae, Tome 53 (2021), pp. 183-200. doi : 10.33039/ami.2021.03.007. http://geodesic.mathdoc.fr/articles/10.33039/ami.2021.03.007/
Cité par Sources :