Alert button
Picture for Alessandro De Palma

Alessandro De Palma

Alert button

Expressive Losses for Verified Robustness via Convex Combinations

May 23, 2023
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth, Alessio Lomuscio

Figure 1 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 2 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 3 for Expressive Losses for Verified Robustness via Convex Combinations
Figure 4 for Expressive Losses for Verified Robustness via Convex Combinations
Viaarxiv icon

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

Jun 29, 2022
Alessandro De Palma, Rudy Bunel, Krishnamurthy Dvijotham, M. Pawan Kumar, Robert Stanforth

Figure 1 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 2 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 3 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Figure 4 for IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
Viaarxiv icon

In Defense of the Unitary Scalarization for Deep Multi-Task Learning

Jan 20, 2022
Vitaly Kurin, Alessandro De Palma, Ilya Kostrikov, Shimon Whiteson, M. Pawan Kumar

Figure 1 for In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Figure 2 for In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Figure 3 for In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Figure 4 for In Defense of the Unitary Scalarization for Deep Multi-Task Learning
Viaarxiv icon

Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Apr 14, 2021
Alessandro De Palma, Rudy Bunel, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 2 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 3 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Figure 4 for Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
Viaarxiv icon

Scaling the Convex Barrier with Sparse Dual Algorithms

Jan 26, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 2 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 3 for Scaling the Convex Barrier with Sparse Dual Algorithms
Figure 4 for Scaling the Convex Barrier with Sparse Dual Algorithms
Viaarxiv icon

Scaling the Convex Barrier with Active Sets

Jan 14, 2021
Alessandro De Palma, Harkirat Singh Behl, Rudy Bunel, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Scaling the Convex Barrier with Active Sets
Figure 2 for Scaling the Convex Barrier with Active Sets
Figure 3 for Scaling the Convex Barrier with Active Sets
Figure 4 for Scaling the Convex Barrier with Active Sets
Viaarxiv icon

Lagrangian Decomposition for Neural Network Verification

Feb 24, 2020
Rudy Bunel, Alessandro De Palma, Alban Desmaison, Krishnamurthy Dvijotham, Pushmeet Kohli, Philip H. S. Torr, M. Pawan Kumar

Figure 1 for Lagrangian Decomposition for Neural Network Verification
Figure 2 for Lagrangian Decomposition for Neural Network Verification
Figure 3 for Lagrangian Decomposition for Neural Network Verification
Figure 4 for Lagrangian Decomposition for Neural Network Verification
Viaarxiv icon

Sampling Acquisition Functions for Batch Bayesian Optimization

Mar 22, 2019
Alessandro De Palma, Celestine Mendler-Dünner, Thomas Parnell, Andreea Anghel, Haralampos Pozidis

Figure 1 for Sampling Acquisition Functions for Batch Bayesian Optimization
Figure 2 for Sampling Acquisition Functions for Batch Bayesian Optimization
Figure 3 for Sampling Acquisition Functions for Batch Bayesian Optimization
Figure 4 for Sampling Acquisition Functions for Batch Bayesian Optimization
Viaarxiv icon

Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms

Oct 25, 2018
Andreea Anghel, Nikolaos Papandreou, Thomas Parnell, Alessandro De Palma, Haralampos Pozidis

Figure 1 for Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms
Figure 2 for Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms
Figure 3 for Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms
Figure 4 for Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms
Viaarxiv icon