paper-with-me

홈 › Papers

Compositional Curvature Bounds for Deep Neural Networks

2024-06-07 · Taha Entesari, Sina Sharifi, Mahyar Fazlyab

A key challenge that threatens the widespread use of neural networks in safety-critical applications is their vulnerability to adversarial attacks. In this paper, we study the second-order behavior of continuously differentiable deep neural networks, focusing on robustness against adversarial perturbations. First, we provide a theoretical analysis of robustness and attack certificates for deep classifiers by leveraging local gradients and upper bounds on the second derivative (curvature constant). Next, we introduce a novel algorithm to analytically compute provable upper bounds on the second derivative of neural networks. This algorithm leverages the compositional structure of the model to propagate the curvature bound layer-by-layer, giving rise to a scalable and modular approach. The proposed bound can serve as a differentiable regularizer to control the curvature of neural networks during training, thereby enhancing robustness. Finally, we demonstrate the efficacy of our method on classification tasks using the MNIST and CIFAR-10 datasets.

📄 PDF Abstract BibTeX arXiv:2406.05119

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification

2026-05-11 · Taha Entesari, Mahyar Fazlyab arxiv

Reachability analysis of neural networks, which seeks to compute or bound the set of outputs attainable over a given input domain, is central to certifying safety and robustness in learning-enabled physical systems. Sinc…

Computing Smooth Geodesics under Two-Sided Curvature Bounds with Applications to Robotics and Image Analysis

2026-06-11 · Da Chen, Zhenjiang Li, Jean-Marie Mirebeau, Xuecheng Tai 외 arxiv

Curvature of planar curves serves as a key regularization term for computing second-order minimal paths, due to its tight relevance to desirable geometric properties such as smoothness, rigidity, and elasticity. In this …

Ollivier-Ricci Curvature of Riemannian Manifolds and Directed Graphs with Applications to Graph Neural Networks

2026-04-06 · Eleanor Wiesler arxiv

This thesis is an exposition of Ollivier-Ricci Curvature of metric spaces as introduced by Yann Ollivier, which is based upon the 1-Wasserstein Distance and optimal transport theory. We present some of the major results …

A Compositional Theory of Curvature in Probabilistic Circuits

2026-08-13 · Hrithik Suresh, Sahil Sidheekh, Shelar Parth Vijay, Yasir Z 외 arxiv

Probabilistic Circuits (PCs) are generative models that support exact inference and, unlike deep neural networks, admit an exact and tractable measure of loss-surface curvature: the trace of the Hessian of the log-likeli…

Continuum Limits of Ollivier's Ricci Curvature on data clouds: pointwise consistency and global lower bounds

2023-07-05 · Nicolas Garcia Trillos, Melanie Weber

Let $M$ denote a low-dimensional manifold embedded in Euclidean space and let ${X}= \{ x_1, \dots, x_n \}$ be a collection of points uniformly sampled from it. We study the relationship between the curvature of a random …