Marc Fischer 0002 Mislav Balunovic Dana Drachsler-Cohen Timon Gehr Ce Zhang 0001 Martin T. Vechev DL2: Training and Querying Neural Networks with Logic. 1931-1941 2019 ICML http://proceedings.mlr.press/v97/fischer19a.html conf/icml/2019 db/conf/icml/icml2019.html#FischerBDGZV19