Pith. sign in

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

arxiv 2010.01732 v1 pith:YQ53KB2W submitted 2020-10-05 cs.LG cs.CVcs.SYeess.SYmath.OCstat.ML

classification cs.LGcs.CVcs.SYeess.SYmath.OCstat.ML
keywords lipschitznetworksboundsequilibriumfunctionsneuraloptimizationrobustness
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. OpenAlex reports about 24 citations worldwide. Full citation record

  1. Circuit realization and hardware linearization of monotone operator equilibrium networks

    eess.SY 2025-09 conditional novelty 6.0 of 10

    Resistor-diode circuits realize ReLU monotone operator equilibrium networks, and their exact gradient can be computed in the same hardware by linearizing the diodes.

  2. Improved Sum-of-Squares Stability Verification of Neural-Network-Based Controllers

    eess.SY 2025-07 conditional novelty 6.0 of 10

    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.

Pith tools