Cover Image

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Zhou, Duo, Chavez, Jorge, Chen, Hesun, Hanasusanto, Grani A., Zhang, Huan
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence Cryptography and Security Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)

Clipped SGD Algorithms for Performative Prediction: Tight Bounds for Clipping Bias and Remedies
by: Li, Qiang, et al.
Published: (2024)

On the Convergence of DP-SGD with Adaptive Clipping
by: Shulgin, Egor, et al.
Published: (2024)

DR-SAC: Distributionally Robust Soft Actor-Critic for Reinforcement Learning under Uncertainty
by: Cui, Mingxuan, et al.
Published: (2025)

On the Duality Between Sharpness-Aware Minimization and Adversarial Training
by: Zhang, Yihao, et al.
Published: (2024)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
by: Yao, Jianzhu, et al.
Published: (2025)

ViSTR-GP: Online Cyberattack Detection via Vision-to-State Tensor Regression and Gaussian Processes in Automated Robotic Operations
by: Aftabi, Navid, et al.
Published: (2025)

Approximate and Weighted Data Reconstruction Attack in Federated Learning
by: Song, Yongcun, et al.
Published: (2023)

Characterizing the Training Dynamics of Private Fine-tuning with Langevin diffusion
by: Ke, Shuqi, et al.
Published: (2024)

Correlated Noise Provably Beats Independent Noise for Differentially Private Learning
by: Choquette-Choo, Christopher A., et al.
Published: (2023)

A Queueing-Theoretic Framework for Dynamic Attack Surfaces: Data-Integrated Risk Analysis and Adaptive Defense
by: Yun, Jihyeon, et al.
Published: (2026)

On Model Protection in Federated Learning against Eavesdropping Attacks
by: Maity, Dipankar, et al.
Published: (2025)

Differentially Private Linear Optimization for Multi-Party Resource Sharing
by: Karaca, Utku, et al.
Published: (2021)

DC-SGD: Differentially Private SGD with Dynamic Clipping through Gradient Norm Distribution Estimation
by: Wei, Chengkun, et al.
Published: (2025)

Continuous Embedding Attacks via Clipped Inputs in Jailbreaking Large Language Models
by: Xu, Zihao, et al.
Published: (2024)

Exploring the Robustness of In-Context Learning with Noisy Labels
by: Cheng, Chen, et al.
Published: (2024)

Sample Complexity of Data-driven Multistage Stochastic Programming under Markovian Uncertainty
by: Park, Hyuk, et al.
Published: (2024)

A Defender-Attacker-Defender Model for Optimizing the Resilience of Hospital Networks to Cyberattacks
by: Helfrich, Stephan, et al.
Published: (2026)

Graph Attention Network-based Block Propagation with Optimal AoI and Reputation in Web 3.0
by: Liao, Jiana, et al.
Published: (2024)

Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling
by: Tailor, Om
Published: (2026)

Behavioral Integrity Verification for AI Agent Skills
by: Wu, Yuhao, et al.
Published: (2026)

Secure LLM Fine-Tuning via Safety-Aware Probing
by: Wu, Chengcan, et al.
Published: (2025)

Boosting Jailbreak Attack with Momentum
by: Zhang, Yihao, et al.
Published: (2024)

Securing Multi-Agent Systems Against Corruptions via Node Contribution Backpropagation
by: Wu, Chengcan, et al.
Published: (2025)

Dynamic Orthogonal Continual Fine-tuning for Mitigating Catastrophic Forgettings
by: Zhang, Zhixin, et al.
Published: (2025)

RAPO: Risk-Aware Preference Optimization for Generalizable Safe Reasoning
by: Wei, Zeming, et al.
Published: (2026)

Adversarial Representation Engineering: A General Model Editing Framework for Large Language Models
by: Zhang, Yihao, et al.
Published: (2024)

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems
by: Zhou, Xugui, et al.
Published: (2023)

Data-Driven Contextual Optimization with Gaussian Mixtures: Flow-Based Generalization, Robust Models, and Multistage Extensions
by: Yoon, YoungChul, et al.
Published: (2025)

Efficient Optimization Algorithms for Linear Adversarial Training
by: RIbeiro, Antônio H., et al.
Published: (2024)

DP-Adam-AC: Privacy-preserving Fine-Tuning of Localizable Language Models Using Adam Optimization with Adaptive Clipping
by: Yang, Ruoxing
Published: (2025)

Information-Theoretic Digital Twins for Stealthy Attack Detection in Industrial Control Systems: A Closed-Form KL Divergence Approach
by: Kreso, Inda, et al.
Published: (2026)

Impossibility Results of Card-Based Protocols via Mathematical Optimization
by: Ikeda, Shunnosuke, et al.
Published: (2025)

Fuzzy Mathematical Model For Optimizing Success Criteria Of Projects: A Project Management Application
by: Sammany, Mohammad, et al.
Published: (2024)

Improving the Security of United States Elections with Robust Optimization
by: Crimmins, Braden L., et al.
Published: (2023)

Differentially Private Decentralized Optimization with Relay Communication
by: Wang, Luqing, et al.
Published: (2022)

Advanced Kernel Search approach for the MST Problem with conflicts involving affinity detection and initial solution construction
by: Carrabs, Francesco, et al.
Published: (2024)

Distributionally Fair Stochastic Optimization using Wasserstein Distance
by: Ye, Qing, et al.
Published: (2024)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
by: Zeng, Hongtai, et al.
Published: (2024)