DL2: Training and Querying Neural Networks with Logic.

Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev

Browse the full ICML paper archive.