Image de couverture de livre

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Xiao, Yuan, Ma, Shiqing, Zhai, Juan, Fang, Chunrong, Jia, Jinyuan, Chen, Zhenyu
Format:	Preprint
Publié:	2024
Sujets:	Computer Vision and Pattern Recognition
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
par: Xiao, Yuan, et autres
Publié: (2022)

On the numerical reliability of nonsmooth autodiff: a MaxPool case study
par: Boustany, Ryan
Publié: (2024)

Probabilistically Tightened Linear Relaxation-based Perturbation Analysis for Neural Network Verification
par: Marzari, Luca, et autres
Publié: (2025)

On the Shift Invariance of Max Pooling Feature Maps in Convolutional Neural Networks
par: Leterme, Hubert, et autres
Publié: (2022)

GPU Temperature Simulation-Based Testing for In-Vehicle Deep Learning Frameworks
par: Zou, Yinglong, et autres
Publié: (2025)

UNIT: Backdoor Mitigation via Automated Neural Distribution Tightening
par: Cheng, Siyuan, et autres
Publié: (2024)

Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
par: Zhao, Haoruo, et autres
Publié: (2024)

Token-Budget-Aware LLM Reasoning
par: Han, Tingxu, et autres
Publié: (2024)

Test Script Intention Generation for Mobile Application via GUI Image and Code Understanding
par: Yu, Shengcheng, et autres
Publié: (2021)

Verification of Geometric Robustness of Neural Networks via Piecewise Linear Approximation and Lipschitz Optimisation
par: Batten, Ben, et autres
Publié: (2024)

Train in Vain: Functionality-Preserving Poisoning to Prevent Unauthorized Use of Code Datasets
par: Xiao, Yuan, et autres
Publié: (2026)

Comprehensive Analysis of Network Robustness Evaluation Based on Convolutional Neural Networks with Spatial Pyramid Pooling
par: Jiang, Wenjun, et autres
Publié: (2023)

Deep Generalized Max Pooling
par: Christlein, Vincent, et autres
Publié: (2019)

Enhancing and Reporting Robustness Boundary of Neural Code Models for Intelligent Code Understanding
par: Han, Tingxu, et autres
Publié: (2026)

Scalpel: Automotive Deep Learning Framework Testing via Assembling Model Components
par: Zou, Yinglong, et autres
Publié: (2025)

Bound Tightening Network for Robust Crowd Counting
par: Wu, Qiming
Publié: (2024)

DuCodeMark: Dual-Purpose Code Dataset Watermarking via Style-Aware Watermark-Poison Design
par: Chen, Yuchen, et autres
Publié: (2026)

DeCoMa: Detecting and Purifying Code Dataset Watermarks through Dual Channel Code Abstraction
par: Xiao, Yuan, et autres
Publié: (2025)

Hybrid of DiffStride and Spectral Pooling in Convolutional Neural Networks
par: Rafif, Sulthan, et autres
Publié: (2024)

A Bayesian Convolutional Neural Network-based Generalized Linear Model
par: Jeon, Yeseul, et autres
Publié: (2022)

Deep Learning Framework Testing via Heuristic Guidance Based on Multiple Model Measurements
par: Zou, Yinglong, et autres
Publié: (2025)

Mutation-Based Deep Learning Framework Testing Method in JavaScript Environment
par: Zou, Yinglong, et autres
Publié: (2024)

Multi-stream Convolutional Neural Network with Frequency Selection for Robust Speaker Verification
par: Yao, Wei, et autres
Publié: (2020)

Probing Privacy Leaks in LLM-based Code Generation via Test Generation
par: Ge, Yifei, et autres
Publié: (2026)

Edge Detectors Can Make Deep Convolutional Neural Networks More Robust
par: Ding, Jin, et autres
Publié: (2024)

Towards Automated Crowdsourced Testing via Personified-LLM
par: Yu, Shengcheng, et autres
Publié: (2026)

No Man is an Island: Towards Fully Automatic Programming by Code Search, Code Generation and Program Repair
par: Zhang, Quanjun, et autres
Publié: (2024)

Tightening the Evaluation of PAC Bounds Using Formal Verification Results
par: Walker, Thomas, et autres
Publié: (2024)

Enhanced Convolution Neural Network with Optimized Pooling and Hyperparameter Tuning for Network Intrusion Detection
par: Sharma, Ayush Kumar, et autres
Publié: (2024)

Provably Robust Explainable Graph Neural Networks against Graph Perturbation Attacks
par: Li, Jiate, et autres
Publié: (2025)

A Critical Review of Large Language Model on Software Engineering: An Example from ChatGPT and Automated Program Repair
par: Zhang, Quanjun, et autres
Publié: (2023)

Continuous Concepts Removal in Text-to-image Diffusion Models
par: Han, Tingxu, et autres
Publié: (2024)

Towards Generalized Entropic Sparsification for Convolutional Neural Networks
par: Barisin, Tin, et autres
Publié: (2024)

Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
par: Anderson, Brendon G., et autres
Publié: (2021)

Log-based, Business-aware REST API Testing
par: Yang, Ding, et autres
Publié: (2026)

Max-Min Neural Network Operators For Approximation of Multivariate Functions
par: Yadav, Abhishek, et autres
Publié: (2026)

PuzzleMark: Implicit Jigsaw Learning for Robust Code Dataset Watermarking in Neural Code Completion Models
par: Huang, Haocheng, et autres
Publié: (2026)

Verification of Neural Networks' Global Robustness
par: Kabaha, Anan, et autres
Publié: (2024)

Robustness Verification of Polynomial Neural Networks
par: Alexandr, Yulia, et autres
Publié: (2026)

Correctness Verification of Neural Networks Approximating Differential Equations
par: Ellinas, Petros, et autres
Publié: (2024)