%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