most citedTorchLean: Formalizing Neural Networks in Lean

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing math.OCShow all

1 paper · 1 filter

math.OC2025

Neural Contraction Metrics with Formal Guarantees for Discrete-Time Nonlinear Dynamical Systems

Haoyu Li, Xiangru Zhong, Bin Hu +1

Contraction metrics are crucial in control theory because they provide a powerful framework for analyzing stability, robustness, and convergence of various dynamical systems. Howev…