Cover Image

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Batten, Ben, Zheng, Yang, De Palma, Alessandro, Kouvaros, Panagiotis, Lomuscio, Alessio
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence Computer Vision and Pattern Recognition
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

IoUCert: Robustness Verification for Anchor-based Object Detectors
by: Brückner, Benedikt, et al.
Published: (2026)

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
by: Brückner, Benedikt, et al.
Published: (2024)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

A Robust Out-of-Distribution Detection Framework via Synergistic Smoothing
by: Stoica, Maria, et al.
Published: (2026)

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation
by: Xiao, Yuan, et al.
Published: (2024)

Approximately Piecewise E(3) Equivariant Point Networks
by: Atzmon, Matan, et al.
Published: (2024)

Generating Realistic Forehead-Creases for User Verification via Conditioned Piecewise Polynomial Curves
by: Tandon, Abhishek, et al.
Published: (2025)

PPLNs: Parametric Piecewise Linear Networks for Event-Based Temporal Modeling and Beyond
by: Song, Chen, et al.
Published: (2024)

Length-Aware Motion Synthesis via Latent Diffusion
by: Sampieri, Alessio, et al.
Published: (2024)

Mask-Robust Face Verification for Online Learning via YOLOv5 and Residual Networks
by: Wang, Zhifeng, et al.
Published: (2025)

VNODE: A Piecewise Continuous Volterra Neural Network
by: Roheda, Siddharth, et al.
Published: (2025)

Lipschitz Constant Meets Condition Number: Learning Robust and Compact Deep Neural Networks
by: Feng, Yangqi, et al.
Published: (2025)

Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff
by: Wu, Dengyu, et al.
Published: (2023)

Adversarial robustness through Lipschitz-Guided Stochastic Depth in Neural Networks
by: Nayal, Laith, et al.
Published: (2025)

Formal Verification of Deep Neural Networks for Object Detection
by: Elboher, Yizhak Y., et al.
Published: (2024)

TropNNC: Structured Neural Network Compression Using Tropical Geometry
by: Fotopoulos, Konstantinos, et al.
Published: (2024)

Towards Fair and Robust Volumetric CT Classification via KL-Regularised Group Distributionally Robust Optimisation
by: Johnny, Samuel, et al.
Published: (2026)

SparseCraft: Few-Shot Neural Reconstruction through Stereopsis Guided Geometric Linearization
by: Younes, Mae, et al.
Published: (2024)

Towards Robust Neural Networks via Orthogonal Diversity
by: Fang, Kun, et al.
Published: (2020)

Transparency Techniques for Neural Networks trained on Writer Identification and Writer Verification
by: Pundy, Viktoria, et al.
Published: (2025)

DiscoMatch: Fast Discrete Optimisation for Geometrically Consistent 3D Shape Matching
by: Roetzer, Paul, et al.
Published: (2023)

Robust Spiking Neural Networks Against Adversarial Attacks
by: Wang, Shuai, et al.
Published: (2026)

Accelerating Image Generation with Sub-path Linear Approximation Model
by: Xu, Chen, et al.
Published: (2024)

GMOR: A Lightweight Robust Point Cloud Registration Framework via Geometric Maximum Overlapping
by: Zheng, Zhao, et al.
Published: (2025)

Increasing Interpretability of Neural Networks By Approximating Human Visual Saliency
by: Boyd, Aidan, et al.
Published: (2024)

Geometric Prior-Guided Neural Implicit Surface Reconstruction in the Wild
by: Xiang, Lintao, et al.
Published: (2025)

Label Augmentation for Neural Networks Robustness
by: Amerehi, Fatemeh, et al.
Published: (2024)

Vector Representations of Vessel Trees
by: Batten, James, et al.
Published: (2025)

Detecting Outliers with Foreign Patch Interpolation
by: Tan, Jeremy, et al.
Published: (2020)

FFGAF-SNN: The Forward-Forward Based Gradient Approximation Free Training Framework for Spiking Neural Networks
by: Xu, Changqing, et al.
Published: (2025)

Kinship Verification through a Forest Neural Network
by: Nazari, Ali, et al.
Published: (2025)

Robust Scene Coordinate Regression via Geometrically-Consistent Global Descriptors
by: Nguyen, Son Tung, et al.
Published: (2025)

WaveGuard: Robust Deepfake Detection and Source Tracing via Dual-Tree Complex Wavelet and Graph Neural Networks
by: He, Ziyuan, et al.
Published: (2025)

One-shot Human Motion Transfer via Occlusion-Robust Flow Prediction and Neural Texturing
by: Ji, Yuzhu, et al.
Published: (2024)

AutoSew: A Geometric Approach to Stitching Prediction with Graph Neural Networks
by: Ríos-Navarro, Pablo, et al.
Published: (2026)

Enhancing Certifiable Semantic Robustness via Robust Pruning of Deep Neural Networks
by: Hu, Hanjiang, et al.
Published: (2025)

Lipschitz Singularities in Diffusion Models
by: Yang, Zhantao, et al.
Published: (2023)

1-Lipschitz Neural Distance Fields
by: Coiffier, Guillaume, et al.
Published: (2024)

Lipschitz-Driven Noise Robustness in VQ-AE for High-Frequency Texture Repair in ID-Specific Talking Heads
by: Yang, Jian, et al.
Published: (2024)

InverseMeetInsert: Robust Real Image Editing via Geometric Accumulation Inversion in Guided Diffusion Models
by: Zheng, Yan, et al.
Published: (2024)