Imagen de Portada

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Wenting, Kazi, Saif R., Bent, Russell, Zhou, Duo, Zhang, Huan
Formato:	Preprint
Publicado:	2026
Materias:	Machine Learning Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Neural Network Verification with Branch-and-Bound for General Nonlinearities
por: Shi, Zhouxing, et al.
Publicado: (2024)

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

LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
por: Chehade, Mohamad Fares El Hajj, et al.
Publicado: (2024)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
por: Boetius, David, et al.
Publicado: (2024)

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
por: Zhou, Duo, et al.
Publicado: (2025)

BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks
por: Wang, Fangji, et al.
Publicado: (2025)

SDP-CROWN: Efficient Bound Propagation for Neural Network Verification with Tightness of Semidefinite Programming
por: Chiu, Hong-Ming, et al.
Publicado: (2025)

Certified Training with Branch-and-Bound for Lyapunov-stable Neural Control
por: Shi, Zhouxing, et al.
Publicado: (2024)

Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies
por: Li, Miao, et al.
Publicado: (2025)

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

Branch and Bound for Piecewise Linear Neural Network Verification
por: Bunel, Rudy, et al.
Publicado: (2019)

Artifact of GenBaB: Neural Network Verification with Branch-and-Bound for General Nonlinearities
por: Shi, Zhouxing, et al.
Publicado: (2025)

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

Public Transport Network Design for Equality of Accessibility via Message Passing Neural Networks and Reinforcement Learning
por: Wang, Duo, et al.
Publicado: (2024)

Provably Bounding Neural Network Preimages
por: Kotha, Suhas, et al.
Publicado: (2023)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
por: Fukuda, Kota, et al.
Publicado: (2025)

Revisiting the Information Capacity of Neural Network Watermarks: Upper Bound Estimation and Beyond
por: Li, Fangqi, et al.
Publicado: (2024)

Vertex-Softmax: Tight Transformer Verification via Exact Softmax Optimization
por: Rezazadeh, Navid, et al.
Publicado: (2026)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
por: Zhang, Guanqin, et al.
Publicado: (2025)

Scalable and Interpretable Verification of Image-based Neural Network Controllers for Autonomous Vehicles
por: Parameshwaran, Aditya, et al.
Publicado: (2025)

Hierarchical Prompt-Domain Control and Learning for Resource-Constrained Agentic Language Models
por: Gallart, Joan Vendrell, et al.
Publicado: (2026)

Generalization Bounds of Spiking Neural Networks via Rademacher Complexity
por: Zhang, Shao-Qun, et al.
Publicado: (2026)

Training Safe Neural Networks with Global SDP Bounds
por: Soletskyi, Roman, et al.
Publicado: (2024)

Incremental Neural Network Verification via Learned Conflicts
por: Elsaleh, Raya, et al.
Publicado: (2026)

Tight Stability, Convergence, and Robustness Bounds for Predictive Coding Networks
por: Mali, Ankur, et al.
Publicado: (2024)

Weight-of-Thought Reasoning: Exploring Neural Network Weights for Enhanced LLM Reasoning
por: Punjwani, Saif, et al.
Publicado: (2025)

AEBNAS: Strengthening Exit Branches in Early-Exit Networks through Hardware-Aware Neural Architecture Search
por: Robben, Oscar, et al.
Publicado: (2025)

Neural Network Verification with PyRAT
por: Lemesle, Augustin, et al.
Publicado: (2024)

Probabilistic Verification of Neural Networks via Efficient Probabilistic Hull Generation
por: Li, Jingyang, et al.
Publicado: (2026)

Training Verification-Friendly Neural Networks via Neuron Behavior Consistency
por: Liu, Zongxin, et al.
Publicado: (2024)

V-CAGE: Context-Aware Generation and Verification for Scalable Long-Horizon Embodied Tasks
por: Liu, Yaru, et al.
Publicado: (2026)

Tight Lower Bounds and Improved Convergence in Performative Prediction
por: Khorsandi, Pedram, et al.
Publicado: (2024)

A Projected Upper Bound for Mining High Utility Patterns from Interval-Based Event Sequences
por: Mirbagheri, S. Mohammad
Publicado: (2022)

Accurate and Scalable Graph Neural Networks via Message Invariance
por: Shi, Zhihao, et al.
Publicado: (2025)

Scalable Neural Network Kernels
por: Sehanobish, Arijit, et al.
Publicado: (2023)

Unveiling Global Interactive Patterns across Graphs: Towards Interpretable Graph Neural Networks
por: Wang, Yuwen, et al.
Publicado: (2024)

COPYCOP: Ownership Verification for Graph Neural Networks
por: Nandakumar, Rahul, et al.
Publicado: (2026)

SpecBranch: Speculative Decoding via Hybrid Drafting and Rollback-Aware Branch Parallelism
por: Shen, Yuhao, et al.
Publicado: (2025)

The Term 'Agent' Has Been Diluted Beyond Utility and Requires Redefinition
por: Bent, Brinnae
Publicado: (2025)

Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification
por: Sayed, Abdelrahman Sayed, et al.
Publicado: (2025)