REVIEW 2 cited by
Lipschitz Bounded Equilibrium Networks
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
This paper introduces new parameterizations of equilibrium neural networks, i.e. networks defined by implicit equations. This model class includes standard multilayer and residual networks as special cases. The new parameterization admits a Lipschitz bound during training via unconstrained optimization: no projections or barrier functions are required. Lipschitz bounds are a common proxy for robustness and appear in many generalization bounds. Furthermore, compared to previous works we show well-posedness (existence of solutions) under less restrictive conditions on the network weights and more natural assumptions on the activation functions: that they are monotone and slope restricted. These results are proved by establishing novel connections with convex optimization, operator splitting on non-Euclidean spaces, and contracting neural ODEs. In image classification experiments we show that the Lipschitz bounds are very accurate and improve robustness to adversarial attacks.
Forward citations
Cited by 2 Pith papers
-
Circuit realization and hardware linearization of monotone operator equilibrium networks
Resistor-diode circuits realize ReLU monotone operator equilibrium networks, and their exact gradient can be computed in the same hardware by linearizing the diodes.
-
Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers
The authors extend an SOS-based stability verification framework to smooth semialgebraic activations and recurrent equilibrium networks, and introduce a sequential algorithm that grows certified regions of attraction.
Discussion (0). Continue with ORCID to comment.