Copertina

Abstraction-Based Proof Production in Formal Verification of Neural Networks

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Elboher, Yizhak Yisrael, Isac, Omri, Katz, Guy, Ladner, Tobias, Wu, Haoze
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

PICID: Proof-Driven Clause Learning in Neural Network Verification
di: Isac, Omri, et al.
Pubblicazione: (2025)

A Certified Proof Checker for Deep Neural Network Verification in Imandra
di: Desmartin, Remi, et al.
Pubblicazione: (2024)

Provably Explaining Neural Additive Models
di: Bassan, Shahaf, et al.
Pubblicazione: (2026)

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

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

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
di: Wu, Haoze, et al.
Pubblicazione: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
di: Shmuel, Ido, et al.
Pubblicazione: (2026)

Towards a Certified Proof Checker for Deep Neural Network Verification
di: Desmartin, Remi, et al.
Pubblicazione: (2023)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing
di: Elboher, Yizhak, et al.
Pubblicazione: (2024)

NLP Verification: Towards a General Methodology for Certifying Robustness
di: Casadio, Marco, et al.
Pubblicazione: (2024)

Neural Network Verification is a Programming Language Challenge
di: Cordeiro, Lucas C., et al.
Pubblicazione: (2025)

Verified SHAP: Provable Bounds for Exact Shapley Values of Neural Networks
di: Boetius, David, et al.
Pubblicazione: (2026)

The Luna Bound Propagator for Formal Analysis of Neural Networks
di: LeCates, Henry, et al.
Pubblicazione: (2026)

SpotIt: Evaluating Text-to-SQL Evaluation with Formal Verification
di: Klopfenstein, Rocky, et al.
Pubblicazione: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
di: Wang, Ziyu, et al.
Pubblicazione: (2025)

Not All Invariants Are Equal: Curating Training Data to Accelerate Program Verification with SLMs
di: Pinto, Ido, et al.
Pubblicazione: (2026)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
di: Rao, Balaji, et al.
Pubblicazione: (2025)

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

Formal Reasoning About Confidence and Automated Verification of Neural Networks
di: Afzal, Mohammad, et al.
Pubblicazione: (2025)

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

Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification
di: Swisa, Maya, et al.
Pubblicazione: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

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

Methods for Formal Verification of Agent Skills: Three Layers Toward a Mechanically Checkable Capability-Containment Proof
di: Metere, Alfredo
Pubblicazione: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
di: Han, Sangjun, et al.
Pubblicazione: (2025)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
di: Shea-Blymyer, Colin, et al.
Pubblicazione: (2024)

Safe and Reliable Training of Learning-Based Aerospace Controllers
di: Mandal, Udayan, et al.
Pubblicazione: (2024)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
di: Chen, Chen, et al.
Pubblicazione: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
di: Mohanty, Hansa, et al.
Pubblicazione: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
di: Ramani, Keshav, et al.
Pubblicazione: (2025)

Neural Proofs for Sound Verification and Control of Complex Systems
di: Abate, Alessandro
Pubblicazione: (2025)

Twitch: Learning Abstractions for Equational Theorem Proving
di: Axelrod, Guy, et al.
Pubblicazione: (2026)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
di: Tremante, Andrew, et al.
Pubblicazione: (2026)

Pragmatic Formal Verification of Sequential Error Detection and Correction Codes (ECCs) used in Safety-Critical Design
di: Kumar, Aman
Pubblicazione: (2024)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
di: Lee, Jihwan, et al.
Pubblicazione: (2024)

Lemur: Integrating Large Language Models in Automated Program Verification
di: Wu, Haoze, et al.
Pubblicazione: (2023)

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
di: Akshay, S., et al.
Pubblicazione: (2024)