| 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 | 87* | 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 | 68 | 2022 |
| 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 | 62 | 2020 |
| Scaling the Convex Barrier with Active Sets A De Palma, HS Behl, R Bunel, PHS Torr, MP Kumar International Conference on Learning Representations, 2021 | 58 | 2021 |
| 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 | 55 | 2021 |
| 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 | 37 | 2018 |
| 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 | 22 | 2019 |
| 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 | 16 | 2022 |
| 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 | 9 | 2024 |
| 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 | 3 | 2024 |
| 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 | 2 | 2017 |
| Verified Neural Compressed Sensing R Bunel, K Dvijotham, MP Kumar, A De Palma, R Stanforth arXiv preprint arXiv:2405.04260, 2024 | 1 | 2024 |
| 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 arXiv preprint arXiv:2408.13140, 2024 | | 2024 |
| 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 | | 2024 |
| Efficient neural network verification and training A De Palma University of Oxford, 2023 | | 2023 |
Rudy BunelGoogle DeepmindVerified email at google.com
