Alessandro De Palma

5 papers · 2020–2024 · 4 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (4) 🐝 Cross-Pollinator (13)

Conferences

ICLR (2) JMLR (1) NIPS (1) UAI (1)

Top co-authors

M. Pawan Kumar (4) Rudy Bunel (2) Philip Torr (2) Rudy R Bunel (2) Philip H.S. Torr (1) Krishnamurthy Dj Dvijotham (1) Ilya Kostrikov (1) Harkirat Singh Behl (1) Pushmeet Kohli (1) Vitaly Kurin (1)

Keywords

convex optimization (2) neural network verification (2) formal verification (1) loss function (1) bound computation (1) lagrangian decomposition (1) frank-wolfe optimization (1) dual algorithm (1) task loss (1) multi-task learning (1) unitary scalarization (1) neural network optimization (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 NIPS 2022

Scaling the Convex Barrier with Active Sets ICLR 2021

Lagrangian Decomposition for Neural Network Verification UAI 2020