Alessandro De Palma

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 15

Top Topics

Lagrangian Dual

Branch And Bound

Convex Combinations

Top Venues

Publications

Alessandro De Palma, Rudy Bunel, Krishnamurthy (Dj) Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. ICLR (2024)
Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Alessandro De Palma, Robert Stanforth
Verified Neural Compressed Sensing. CoRR (2024)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio
Expressive Losses for Verified Robustness via Convex Combinations. CoRR (2023)
Vitaly Kurin, Alessandro De Palma, Ilya Kostrikov, Shimon Whiteson, M. Pawan Kumar
In Defense of the Unitary Scalarization for Deep Multi-Task Learning. CoRR (2022)
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound. CoRR (2022)
Vitaly Kurin, Alessandro De Palma, Ilya Kostrikov, Shimon Whiteson, Pawan Kumar Mudigonda
In Defense of the Unitary Scalarization for Deep Multi-Task Learning. NeurIPS (2022)
Alessandro De Palma, Harkirat S. Behl, Rudy R. Bunel, Philip H. S. Torr, M. Pawan Kumar
Scaling the Convex Barrier with Active Sets. ICLR (2021)
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition. CoRR (2021)
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar
Scaling the Convex Barrier with Sparse Dual Algorithms. CoRR (2021)
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Lagrangian Decomposition for Neural Network Verification. UAI (2020)
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar
Lagrangian Decomposition for Neural Network Verification. CoRR (2020)
Alessandro De Palma, Celestine Mendler-Dünner, Thomas P. Parnell, Andreea Anghel, Haralampos Pozidis
Sampling Acquisition Functions for Batch Bayesian Optimization. CoRR (2019)
Lukas Gianinazzi, Pavel Kalvoda, Alessandro De Palma, Maciej Besta, Torsten Hoefler
Communication-avoiding parallel minimum cuts and connected components. PPOPP (2018)
Andreea Anghel, Nikolaos Papandreou, Thomas P. Parnell, Alessandro De Palma, Haralampos Pozidis
Benchmarking and Optimization of Gradient Boosted Decision Tree Algorithms. CoRR (2018)
Alessandro De Palma, Erik Hemberg, Una-May O'Reilly
Distributed Stratified Locality Sensitive Hashing for Critical Event Prediction in the Cloud. CoRR (2017)