Jingyue Lu

1 catalog papers. Name-matched publications do not establish a verified researcher identity.

Publications

• Branch and Bound for Piecewise Linear Neural Network Verification — Journal of Machine Learning Research 2020