Buchumschlag

Branch and Bound for Piecewise Linear Neural Network Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bunel, Rudy, Lu, Jingyue, Turkaslan, Ilker, Torr, Philip H. S., Kohli, Pushmeet, Kumar, M. Pawan
Format:	Preprint
Veröffentlicht:	2019
Schlagworte:	Machine Learning Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Just-In-Time Piecewise-Linear Semantics for ReLU-type Networks
von: Duan, Hongyi, et al.
Veröffentlicht: (2025)

Logic Gate Neural Networks are Good for Verification
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Proof Minimization in Neural Network Verification
von: Isac, Omri, et al.
Veröffentlicht: (2025)

Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
von: König, Matthias, et al.
Veröffentlicht: (2024)

PICID: Proof-Driven Clause Learning in Neural Network Verification
von: Isac, Omri, et al.
Veröffentlicht: (2025)

Efficient Error Certification for Physics-Informed Neural Networks
von: Eiras, Francisco, et al.
Veröffentlicht: (2023)

Quantitative Linear Logic for Neuro-Symbolic Learning and Verification
von: Flinkow, Thomas, et al.
Veröffentlicht: (2026)

Set-Based Training for Neural Network Verification
von: Koller, Lukas, et al.
Veröffentlicht: (2024)

Mini-Batch Robustness Verification of Deep Neural Networks
von: Tzour-Shaday, Saar, et al.
Veröffentlicht: (2025)

Neural Network Verification is a Programming Language Challenge
von: Cordeiro, Lucas C., et al.
Veröffentlicht: (2025)

Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
von: Gomes, Ronaldo, et al.
Veröffentlicht: (2026)

Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba
von: Işık, İlker, et al.
Veröffentlicht: (2024)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

Towards a Certified Proof Checker for Deep Neural Network Verification
von: Desmartin, Remi, et al.
Veröffentlicht: (2023)

The Logical Expressiveness of Topological Neural Networks
von: Akbari, Amirreza, et al.
Veröffentlicht: (2026)

Revisiting Differential Verification: Equivalence Verification with Confidence
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

Scaling the Convex Barrier with Sparse Dual Algorithms
von: De Palma, Alessandro, et al.
Veröffentlicht: (2021)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
von: Boetius, David, et al.
Veröffentlicht: (2026)

Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
von: Işık, İlker, et al.
Veröffentlicht: (2026)

VeriFlow: Modeling Distributions for Neural Network Verification
von: Zaid, Faried Abu, et al.
Veröffentlicht: (2024)

Pseudo-Formalization for Automatic Proof Verification
von: Barkallah, Slim, et al.
Veröffentlicht: (2026)

Space Explanations of Neural Network Classification
von: Labbaf, Faezeh, et al.
Veröffentlicht: (2025)

On Improving Deep Active Learning with Formal Verification
von: Spiegelman, Jonathan, et al.
Veröffentlicht: (2025)

Lecture Notes on Verifying Graph Neural Networks
von: Schwarzentruber, François
Veröffentlicht: (2025)

The Polynomial Counting Capabilities of Message Passing Neural Networks
von: Sälzer, Marco, et al.
Veröffentlicht: (2026)

TLINet: Differentiable Neural Network Temporal Logic Inference
von: Li, Danyang, et al.
Veröffentlicht: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
von: Adam-Day, Sam, et al.
Veröffentlicht: (2024)

Nazrin: Atomic Tactics for Graph Neural Networks for Theorem Proving in Lean 4
von: Aniva, Leni, et al.
Veröffentlicht: (2026)

Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
von: Queiroz, Luiz Fernando Paulino, et al.
Veröffentlicht: (2026)

Continuous Modal Logical Neural Networks: Modal Reasoning via Stochastic Accessibility
von: Sulc, Antonin
Veröffentlicht: (2026)

Explain Yourself, Briefly! Self-Explaining Neural Networks with Concise Sufficient Reasons
von: Bassan, Shahaf, et al.
Veröffentlicht: (2025)

Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
von: Işık, İlker, et al.
Veröffentlicht: (2024)

Boosting Few-Pixel Robustness Verification via Covering Verification Designs
von: Shapira, Yuval, et al.
Veröffentlicht: (2024)

Scalable Interconnect Learning in Boolean Networks
von: Kresse, Fabian, et al.
Veröffentlicht: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
von: Abate, Alessandro
Veröffentlicht: (2025)

Modal Logical Neural Networks
von: Sulc, Antonin
Veröffentlicht: (2025)

A Hybrid Real-Time Framework for Efficient Fussell-Vesely Importance Evaluation Using Virtual Fault Trees and Graph Neural Networks
von: Xiao, Xingyu, et al.
Veröffentlicht: (2024)

Verification of Autonomous Neural Car Control with KeYmaera X
von: Prebet, Enguerrand, et al.
Veröffentlicht: (2025)

Neural Model Checking
von: Giacobbe, Mirco, et al.
Veröffentlicht: (2024)

Neural Logic Networks for Interpretable Classification
von: Perreault, Vincent, et al.
Veröffentlicht: (2025)