Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX record conf/icml/FischerBDGZV19
@inproceedings{DBLP:conf/icml/FischerBDGZV19, author = {Marc Fischer and Mislav Balunovic and Dana Drachsler{-}Cohen and Timon Gehr and Ce Zhang and Martin T. Vechev}, editor = {Kamalika Chaudhuri and Ruslan Salakhutdinov}, title = {{DL2:} Training and Querying Neural Networks with Logic}, booktitle = {Proceedings of the 36th International Conference on Machine Learning, {ICML} 2019, 9-15 June 2019, Long Beach, California, {USA}}, series = {Proceedings of Machine Learning Research}, volume = {97}, pages = {1931--1941}, publisher = {{PMLR}}, year = {2019}, url = {http://proceedings.mlr.press/v97/fischer19a.html}, timestamp = {Thu, 02 Sep 2021 14:46:54 +0200}, biburl = {https://dblp.org/rec/conf/icml/FischerBDGZV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.