Buchumschlag

Compiling High-Level Neural Network Specifications into VNN-LIB Queries

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Daggitt, Matthew L., Kokke, Wen, Atkey, Robert
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence Machine Learning
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

A Semantic Proof of Generalised Cut Elimination for Deep Inference
von: Atkey, Robert, et al.
Veröffentlicht: (2024)

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks
von: Wu, Haoze, et al.
Veröffentlicht: (2024)

VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
von: Roy, Ann, et al.
Veröffentlicht: (2026)

Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
von: Yin, Hang, et al.
Veröffentlicht: (2023)

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

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

Hypergraph Neural Networks Accelerate MUS Enumeration
von: Ijima, Hiroya, et al.
Veröffentlicht: (2026)

Regional, Lattice and Logical Representations of Neural Networks
von: Preto, Sandro, et al.
Veröffentlicht: (2025)

Efficient Certified Reasoning for Binarized Neural Networks
von: Yang, Jiong, et al.
Veröffentlicht: (2025)

Meta Operator for Complex Query Answering on Knowledge Graphs
von: Yin, Hang, et al.
Veröffentlicht: (2024)

Compile to Compress: Boosting Formal Theorem Provers by Compiler Outputs
von: Li, Guchan, et al.
Veröffentlicht: (2026)

Comparing Neural Network Encodings for Logic-based Explainability
von: Carvalho, Levi Cordeiro, et al.
Veröffentlicht: (2025)

Conditional Logical Message Passing Transformer for Complex Query Answering
von: Zhang, Chongzhi, et al.
Veröffentlicht: (2024)

Expressive Temporal Specifications for Reward Monitoring
von: Adalat, Omar, et al.
Veröffentlicht: (2025)

PREMAP: A Unifying PREiMage APproximation Framework for Neural Networks
von: Zhang, Xiyue, et al.
Veröffentlicht: (2024)

Extracting Formulae in Many-Valued Logic from Deep Neural Networks
von: Zhang, Yani, et al.
Veröffentlicht: (2024)

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

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
von: Nunn, Pierre, et al.
Veröffentlicht: (2024)

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

Inductive Generalization in Reinforcement Learning from Specifications
von: Subramanian, Vignesh, et al.
Veröffentlicht: (2024)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
von: Meli, Daniele, et al.
Veröffentlicht: (2024)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
von: Olivieri, Pierriccardo, et al.
Veröffentlicht: (2026)

Generating $SROI^-$ Ontologies via Knowledge Graph Query Embedding Learning
von: He, Yunjie, et al.
Veröffentlicht: (2024)

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

Neural logic programs and neural nets
von: Antić, Christian
Veröffentlicht: (2024)

Logic Tensor Network-Enhanced Generative Adversarial Network
von: Upreti, Nijesh, et al.
Veröffentlicht: (2026)

Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method
von: Vishwakarma, Rahul, et al.
Veröffentlicht: (2023)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
von: Abdulla, Parosh Aziz, et al.
Veröffentlicht: (2024)

Neural DNF-MT: A Neuro-symbolic Approach for Learning Interpretable and Editable Policies
von: Baugh, Kexin Gu, et al.
Veröffentlicht: (2025)

Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2024)

THEIA: Learning Complete Kleene Three-Valued Logic in a Pure-Neural Modular Architecture
von: Li, Augustus Haoyang
Veröffentlicht: (2026)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
von: Zhapa-Camacho, Fernando, et al.
Veröffentlicht: (2025)

Scaling the Explanation of Multi-Class Bayesian Network Classifiers
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Polynomial Surrogate Training for Differentiable Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

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

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
von: Damera, Sai Sandeep, et al.
Veröffentlicht: (2026)

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

LeanAgent: Lifelong Learning for Formal Theorem Proving
von: Kumarappan, Adarsh, et al.
Veröffentlicht: (2024)

Expressive Power of Deep Homomorphism Networks over Relational Databases
von: Schönherr, Moritz, et al.
Veröffentlicht: (2026)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
von: Chernobrovkin, Artem, et al.
Veröffentlicht: (2025)