Cover Image

Fully Automatic Neural Network Reduction for Formal Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ladner, Tobias, Althoff, Matthias
Format:	Preprint
Published:	2023
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
by: Ladner, Tobias, et al.
Published: (2024)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2025)

Set-Based Training for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2024)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
by: Abu-Haeyeh, Yasmine, et al.
Published: (2026)

Training Verifiably Robust Agents Using Set-Based Reinforcement Learning
by: Wendl, Manuel, et al.
Published: (2024)

Provably Explaining Neural Additive Models
by: Bassan, Shahaf, et al.
Published: (2026)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Pseudo-Formalization for Automatic Proof Verification
by: Barkallah, Slim, et al.
Published: (2026)

Stepping Out of the Shadows: Reinforcement Learning in Shadow Mode
by: Gassert, Philipp, et al.
Published: (2024)

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
by: Kaulen, Konstantin, et al.
Published: (2025)

Bridging Efficiency and Safety: Formal Verification of Neural Networks with Early Exits
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Language Models That Walk the Talk: A Framework for Formal Fairness Certificates
by: Chen, Danqing, et al.
Published: (2025)

Provable Traffic Rule Compliance in Safe Reinforcement Learning on the Open Sea
by: Krasowski, Hanna, et al.
Published: (2024)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
by: Elboher, Yizhak Y., et al.
Published: (2026)

ModelVerification.jl: a Comprehensive Toolbox for Formally Verifying Deep Neural Networks
by: Wei, Tianhao, et al.
Published: (2024)

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

BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting
by: Reinwardt, Maximilian, et al.
Published: (2026)

Optimizing Modular Robot Composition: A Lexicographic Genetic Algorithm Approach
by: Külz, Jonathan, et al.
Published: (2023)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
by: Elboher, Yizhak Yisrael, et al.
Published: (2025)

Perception with Guarantees: Certified Pose Estimation via Reachability Analysis
by: Ladner, Tobias, et al.
Published: (2026)

Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
by: Stolz, Roland, et al.
Published: (2025)

CommonPower: A Framework for Safe Data-Driven Smart Grid Control
by: Eichelbeck, Michael, et al.
Published: (2024)

Fully Automatic Trace Gas Plume Detection
by: Růžička, Vít, et al.
Published: (2026)

Automated Conjecture Resolution with Formal Verification
by: Ju, Haocheng, et al.
Published: (2026)

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

Formal Local Implication Between Two Neural Networks
by: Baninajjar, Anahita, et al.
Published: (2024)

Contingency-constrained economic dispatch with safe reinforcement learning
by: Eichelbeck, Michael, et al.
Published: (2022)

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

Robustness Verification of Polynomial Neural Networks
by: Alexandr, Yulia, et al.
Published: (2026)

Auto-GDA: Automatic Domain Adaptation for Efficient Grounding Verification in Retrieval-Augmented Generation
by: Leemann, Tobias, et al.
Published: (2024)

Tightening the Evaluation of PAC Bounds Using Formal Verification Results
by: Walker, Thomas, et al.
Published: (2024)

Neural Networks Reduction via Lumping
by: Ressi, Dalila, et al.
Published: (2022)

Achieving the Tightest Relaxation of Sigmoids for Formal Verification
by: Chevalier, Samuel, et al.
Published: (2024)

Training Neural Networks as Recognizers of Formal Languages
by: Butoi, Alexandra, et al.
Published: (2024)

Proof Minimization in Neural Network Verification
by: Isac, Omri, et al.
Published: (2025)

No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks
by: Szász, Attila, et al.
Published: (2025)

Formal Verification of Variational Quantum Circuits
by: Assolini, Nicola, et al.
Published: (2025)

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

On Improving Deep Active Learning with Formal Verification
by: Spiegelman, Jonathan, et al.
Published: (2025)