Two papers accepted at ICML 2019

The following papers have been accepted at ICML 2019, Long Beach, CA, June 9 – 15, 2019.

"Distributed Learning over Unreliable Networks"
by Chen Yu, Hanlin Tang, Cedric Renggli, Simon Kassing, Ankit Singla, Dan Alistarh, Ce Zhang, Ji Liu.

"DL2: Training and Querying Neural Networks with Logic"
by Marc Fischer, Mislav Balunovic, Dana Drachsler-Cohen , Timon Gehr, Ce Zhang, Martin Vechev.