conftrace_
← Authors

Alessandro De Palma

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

Achievements

Jump to papers ↓
🌉 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