@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/}
}