Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev
DL2: Training and Querying Neural Networks with Logic
ICML, 2019.
@inproceedings{ICML-2019-FischerBDGZV,
author = "Marc Fischer and Mislav Balunovic and Dana Drachsler-Cohen and Timon Gehr and Ce Zhang and Martin T. Vechev",
booktitle = "{Proceedings of the 36th International Conference on Machine Learning}",
ee = "http://proceedings.mlr.press/v97/fischer19a.html",
pages = "1931--1941",
publisher = "{PMLR}",
title = "{DL2: Training and Querying Neural Networks with Logic}",
year = 2019,
}