DL2: Training and Querying Neural Networks with Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Marc Fischer' in GoogleThis author has not been identified. Look up 'Mislav Balunovic' in GoogleThis author has not been identified. Look up 'Dana Drachsler-Cohen' in GoogleThis author has not been identified. Look up 'Timon Gehr' in GoogleThis author has not been identified. Look up 'Ce Zhang' in GoogleThis author has not been identified. Look up 'Martin T. Vechev' in Google

runs on WebDSL