:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Li, Wenting, Kazi, Saif R., Bent, Russell, Zhou, Duo, Zhang, Huan
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2602.05068
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Provably Bounding Neural Network Preimages
di: Kotha, Suhas, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

Neural Network Verification with PyRAT
di: Lemesle, Augustin, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

Scalable Neural Network Kernels
di: Sehanobish, Arijit, et al.
Pubblicazione: (2023)

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