دنبال کردن
Alessandro De Palma
Alessandro De Palma
ایمیل تأیید شده در inria.fr
عنوان
نقل شده توسط
نقل شده توسط
سال
Benchmarking and optimization of gradient boosting decision tree algorithms
A Anghel, N Papandreou, T Parnell, A De Palma, H Pozidis
Workshop on Systems for ML at NeurIPS 2018, 2018
97*2018
In defense of the unitary scalarization for deep multi-task learning
V Kurin, A De Palma, I Kostrikov, S Whiteson, PK Mudigonda
Advances in Neural Information Processing Systems 35, 12169-12183, 2022
782022
Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition
A De Palma, R Bunel, A Desmaison, K Dvijotham, P Kohli, PHS Torr, ...
arXiv preprint arXiv:2104.06718, 2021
672021
Lagrangian decomposition for neural network verification
R Bunel, A De Palma, A Desmaison, K Dvijotham, P Kohli, P Torr, ...
Conference on Uncertainty in Artificial Intelligence, 370-379, 2020
652020
Scaling the Convex Barrier with Active Sets
A De Palma, HS Behl, R Bunel, PHS Torr, MP Kumar
International Conference on Learning Representations, 2021
642021
Communication-avoiding parallel minimum cuts and connected components
L Gianinazzi, P Kalvoda, A De Palma, M Besta, T Hoefler
ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming …, 2018
372018
Sampling acquisition functions for batch Bayesian optimization
A De Palma, C Mendler-Dünner, T Parnell, A Anghel, H Pozidis
arXiv preprint arXiv:1903.09434, 2019
232019
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound
A De Palma, R Bunel, K Dvijotham, MP Kumar, R Stanforth
Workshop on Formal Verification of Machine Learning at ICML 2022, 2022
152022
Scaling the convex barrier with sparse dual algorithms
A De Palma, HS Behl, R Bunel, PHS Torr, MP Kumar
Journal of Machine Learning Research 25 (61), 1-51, 2024
92024
Expressive Losses for Verified Robustness via Convex Combinations
A De Palma, R Bunel, K Dvijotham, MP Kumar, R Stanforth, A Lomuscio
International Conference on Learning Representations, 2024
92024
Early Burst Suppression Similarity Association with Structural Brain Injury Severity on MRI After Cardiac Arrest
S Shivdat, T Zhan, A De Palma, WL Zheng, P Krishnamurthy, ...
Neurocritical Care, 1-10, 2024
22024
Distributed stratified locality sensitive hashing for critical event prediction in the cloud
A De Palma, E Hemberg, UM O'Reilly
Workshop on Machine Learning for Health at NeurIPS 2017, 2017
22017
Verified Neural Compressed Sensing
R Bunel, K Dvijotham, MP Kumar, A De Palma, R Stanforth
arXiv preprint arXiv:2405.04260, 2024
12024
On Using Certified Training towards Empirical Robustness
A De Palma, S Durand, Z Chihani, F Terrier, C Urban
arXiv preprint arXiv:2410.01617, 2024
2024
Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
B Batten, Y Zheng, A De Palma, P Kouvaros, A Lomuscio
European Conference on Artificial Intelligence, 2024
2024
Efficient neural network verification and training
A De Palma
University of Oxford, 2023
2023
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–16