Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Patricia Pauli

dblp:234/2147 · DBLP profile ↗
← Back
1ranked-venue papers
1as first author
1since 2021 · last 2024
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Artificial intelligence
1 paper
Trustworthy machine learning · 67% Deep learning architectures and training · 33%
Theoretical computer science
1 paper
Mathematical optimization · 100%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Machine learning › Deep learning architectures and training
activation function
0.812024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations · ICLR 2024
Machine learning › Trustworthy machine learning › robustness › certified robustness
lipschitz constant estimation
0.812024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations · ICLR 2024
Machine learning › Trustworthy machine learning
robustness
0.812024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations · ICLR 2024
Mathematical optimization
semidefinite programming
0.212024
Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations · ICLR 2024

Methods — techniques the papers use, named apart from their topics

semidefinite programming · 1.5LipSDP · 1.5quadratic constraints · 0.8quadratic constraint · 0.8
YearPublicationVenuePosition
2024 Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations
abstract
Recently, semidefinite programming (SDP) techniques have shown great promise in providing accurate Lipschitz bounds for neural networks. Specifically, the LipSDP approach (Fazlyab et al., 2019) has received much attention and provides the least conservative Lipschitz upper bounds that can be computed with polynomial time guarantees. However, one main restriction of LipSDP is that its formulation requires the activation functions to be slope-restricted on $[0,1]$, preventing its further use for more general activation functions such as GroupSort, MaxMin, and Householder. One can rewrite MaxMin activations for example as residual ReLU networks. However, a direct application of LipSDP to the resultant residual ReLU networks is conservative and even fails in recovering the well-known fact that the MaxMin activation is 1-Lipschitz. Our paper bridges this gap and extends LipSDP beyond slope-restricted activation functions. To this end, we provide novel quadratic constraints for GroupSort, MaxMin, and Householder activations via leveraging their underlying properties such as sum preservation. Our proposed analysis is general and provides a unified approach for estimating $\ell_2$ and $\ell_\infty$ Lipschitz bounds for a rich class of neural network architectures, including non-residual and residual neural networks and implicit models, with GroupSort, MaxMin, and HouseHolder activations. Finally, we illustrate the utility of our approach with a variety of experiments and show that our proposed SDPs generate less conservative Lipschitz bounds in comparison to existing approaches.
Patricia Pauli, Aaron J. Havens, Alexandre Araujo, Siddharth Garg, Farshad Khorrami, Frank Allgöwer, Bin Hu 0002
ICLR1