ML Anthology

Drachsler-Cohen, Dana

2 publications

ICML 2019 DL2: Training and Querying Neural Networks with Logic Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen, Timon Gehr, Ce Zhang, Martin Vechev
COLT 2017 Learning Disjunctions of Predicates Nader H. Bshouty, Dana Drachsler-Cohen, Martin Vechev, Eran Yahav