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  -