Pushmeet Kohli

1 catalog papers. Identity-linked publications and additional name matches are distinguished below.

ORCID: 0000-0002-7466-7997

Publications

• Branch and Bound for Piecewise Linear Neural Network Verification — Journal of Machine Learning Research 2020 (name-matched, not ORCID-linked)