Lu, Jingyue

2 publications

JMLR 2020 Branch and Bound for Piecewise Linear Neural Network Verification Rudy Bunel, Jingyue Lu, Ilker Turkaslan, Philip H.S. Torr, Pushmeet Kohli, M. Pawan Kumar

ICLR 2020 Neural Network Branching for Neural Network Verification Jingyue Lu, M. Pawan Kumar