Alessandro De Palma

1. Improved Branch and Bound for Neural Network Verification via Lagrangian\n Decomposition
   2021/04/14 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +12 · 5 citations
   Computer Science · Materials Science · Physics and Astronomy · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning in Materials Science #Model Reduction and Neural Networks
2. Expressive Losses for Verified Robustness via Convex Combinations
   2023/05/23 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +9 · 6 citations
   Computer Science · #Adversarial Robustness in Machine Learning #Anomaly Detection Techniques and Applications #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
3. IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
   2022/06/29 by Alessandro De Palma, Rudy Bunel, De Palma, Alessandro +7 · 3 citations
   Computer Science · #Advanced Neural Network Applications #Adversarial Robustness in Machine Learning #Cryptography and Security (cs.CR) #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML)
4. Benchmarking and Optimization of Gradient Boosting Decision Tree Algorithms
   2018/09/12 by Andreea Anghel, Nikolaos Papandreou, Anghel, Andreea +7 · 2 citations
   Computer Science · #Machine Learning and Data Classification #Imbalanced Data Classification Techniques #Anomaly Detection Techniques and Applications
5. Sampling Acquisition Functions for Batch Bayesian Optimization
   2019/03/22 by Alessandro De Palma, Celestine Mendler-Dünner, De Palma, Alessandro +7 · 2 citations
   Computer Science · Decision Sciences · #Advanced Bandit Algorithms Research #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Machine Learning and Data Classification
6. Lagrangian Decomposition for Neural Network Verification
   2020/02/24 by Rudy Bunel, Alessandro De Palma, Bunel, Rudy +11 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Advanced Neural Network Applications #Advanced Memory and Neural Computing
7. Scaling the Convex Barrier with Sparse Dual Algorithms
   2021/01/14 by Alessandro De Palma, Harkirat Singh Behl, De Palma, Alessandro +7 · 2 citations
   Computer Science · Engineering · #Adversarial Robustness in Machine Learning #Sparse and Compressive Sensing Techniques #Machine Learning and Algorithms