Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin T. Vechev. DL2: Training and Querying Neural Networks with Logic. In Kamalika Chaudhuri, Ruslan Salakhutdinov, editors, Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA. Volume 97 of Proceedings of Machine Learning Research, pages 1931-1941, PMLR, 2019. [doi]
@inproceedings{FischerBDGZV19,
title = {DL2: Training and Querying Neural Networks with Logic},
author = {Marc Fischer and Mislav Balunovic and Dana Drachsler-Cohen and Timon Gehr and Ce Zhang and Martin T. Vechev},
year = {2019},
url = {http://proceedings.mlr.press/v97/fischer19a.html},
researchr = {https://researchr.org/publication/FischerBDGZV19},
cites = {0},
citedby = {0},
pages = {1931-1941},
booktitle = {Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA},
editor = {Kamalika Chaudhuri and Ruslan Salakhutdinov},
volume = {97},
series = {Proceedings of Machine Learning Research},
publisher = {PMLR},
}