Skip to yearly menu bar Skip to main content


Poster
in
Workshop: Workshop on Formal Verification of Machine Learning

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound

Alessandro De Palma · Rudy Bunel · Krishnamurthy Dvijotham · M. Pawan Kumar · Robert Stanforth


Abstract:

Please use the email address from the speaker's ICML profile. If the user has multiple ICML profiles, then use the profile the speaker will register with. When a valid ICML profile email address entered, a green checkbox will appear. The registration status is indicated to the right of the speaker's name with the first letter of the session. Tutorials + Conference Sessions would appear T,C. Underlined means the registration is complimentary. Brackets indicates that the person checked in into the meeting.

Chat is not available.