:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Li, Wenting, Kazi, Saif R., Bent, Russell, Zhou, Duo, Zhang, Huan
Format:	Preprint
Published:	2026
Subjects:	Machine Learning Artificial Intelligence
Online Access:	https://arxiv.org/abs/2602.05068
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)

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

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

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

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

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

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

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

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

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

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

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

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

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

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Neural Network Verification with PyRAT
by: Lemesle, Augustin, et al.
Published: (2024)

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

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

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

GUARD: Guided Unlearning and Retention via Data Attribution for Large Language Models
by: Niu, Peizhi, et al.
Published: (2025)

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

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

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

Dynamic Optimization and Optimal Control of Hydrogen Blending Operations in Natural Gas Networks
by: Kazi, Saif R., et al.
Published: (2023)

Bayes-PD: Exploring a Sequence to Binding Bayesian Neural Network model trained on Phage Display data
by: Amiaud-Plachy, Ilann, et al.
Published: (2026)

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

Scalable Neural Network Kernels
by: Sehanobish, Arijit, et al.
Published: (2023)

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