Buchumschlag

Revisiting Differential Verification: Equivalence Verification with Confidence

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Teuber, Samuel, Kern, Philipp, Janzen, Marvin, Beckert, Bernhard
Format:	Preprint
Veröffentlicht:	2024
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

Next Steps in LLM-Supported Java Verification
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

An Information-Flow Perspective on Algorithmic Fairness
von: Teuber, Samuel, et al.
Veröffentlicht: (2023)

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

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

Heterogeneous Dynamic Logic: Provability Modulo Program Theories
von: Teuber, Samuel, et al.
Veröffentlicht: (2025)

Provably Safe Neural Network Controllers via Differential Dynamic Logic
von: Teuber, Samuel, et al.
Veröffentlicht: (2024)

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

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

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

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

Branch and Bound for Piecewise Linear Neural Network Verification
von: Bunel, Rudy, et al.
Veröffentlicht: (2019)

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

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

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

Synthesis and Verification of Transformer Programs (Technical Report)
von: Jiang, Hongjian, et al.
Veröffentlicht: (2026)

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

Towards Term-based Verification of Diagrammatic Equivalence
von: Cailler, Julie, et al.
Veröffentlicht: (2026)

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)

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)

Craig Interpolation in Program Verification
von: Rümmer, Philipp
Veröffentlicht: (2026)

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

A Neurosymbolic Approach to Natural Language Formalization and Verification
von: Bayless, Sam, et al.
Veröffentlicht: (2025)

A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Fossil 2.0: Formal Certificate Synthesis for the Verification and Control of Dynamical Models
von: Edwards, Alec, et al.
Veröffentlicht: (2023)

Verification Modulo Tested Library Contracts
von: Uppar, Abhishek, et al.
Veröffentlicht: (2026)

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

Decidable By Construction: Design-Time Verification for Trustworthy AI
von: Haynes, Houston
Veröffentlicht: (2026)

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

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
von: Vin, Eric, et al.
Veröffentlicht: (2025)

NLP Verification: Towards a General Methodology for Certifying Robustness
von: Casadio, Marco, et al.
Veröffentlicht: (2024)

A Program Instrumentation Framework for Automatic Verification
von: Amilon, Jesper, et al.
Veröffentlicht: (2024)

Efficient & Correct Predictive Equivalence for Decision Trees
von: Marques-Silva, Joao, et al.
Veröffentlicht: (2025)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
von: Heuer, Jan
Veröffentlicht: (2023)

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

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
von: Pastva, Samuel, et al.
Veröffentlicht: (2026)

Lemur: Integrating Large Language Models in Automated Program Verification
von: Wu, Haoze, et al.
Veröffentlicht: (2023)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
von: Rao, Balaji, et al.
Veröffentlicht: (2025)

Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic (Extended Version)
von: Haselwarter, Philipp G., et al.
Veröffentlicht: (2026)