DL2: Training and Querying Neural Networks with Logic

Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, and Martin Vechev. ICML 2019. (Poster PDF · Paper)