Alessandro De Palma
5 papers · 2020–2024 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🗺️
Taxonomy Completionist
(10)
Venues
Top co-authors
Research topics
Keywords
neural network verification
(3)
formal verification
(2)
convex optimization
(2)
neural network optimization
(1)
linear programming
(1)
interval bound propagation
(1)
loss function
(1)
convex combination
(1)
bound computation
(1)
lagrangian decomposition
(1)
frank-wolfe optimization
(1)
worst-case loss
(1)
dual algorithm
(1)
dual solver
(1)
task loss
(1)
verified robustness
(1)
unitary scalarization
(1)
multi-task learning
(1)
convex barrier
(1)
adversarial robustness
(1)
Papers
Expressive Losses for Verified Robustness via Convex Combinations
ICLR 2024
Scaling the Convex Barrier with Sparse Dual Algorithms
JMLR 2024
In Defense of the Unitary Scalarization for Deep Multi-Task Learning
NeurIPS 2022
Scaling the Convex Barrier with Active Sets
ICLR 2021
Lagrangian Decomposition for Neural Network Verification
UAI 2020