Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound., , , , and . CoRR, (2022)Distributed Stratified Locality Sensitive Hashing for Critical Event Prediction in the Cloud., , and . CoRR, (2017)In Defense of the Unitary Scalarization for Deep Multi-Task Learning., , , , and . CoRR, (2022)Lagrangian Decomposition for Neural Network Verification., , , , , , and . UAI, volume 124 of Proceedings of Machine Learning Research, page 370-379. AUAI Press, (2020)Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition., , , , , , and . CoRR, (2021)Scaling the Convex Barrier with Sparse Dual Algorithms., , , , and . CoRR, (2021)Expressive Losses for Verified Robustness via Convex Combinations., , , , , and . CoRR, (2023)Benchmarking and Optimization of Gradient Boosted Decision Tree Algorithms., , , , and . CoRR, (2018)Sampling Acquisition Functions for Batch Bayesian Optimization., , , , and . CoRR, (2019)In Defense of the Unitary Scalarization for Deep Multi-Task Learning., , , , and . NeurIPS, (2022)