Buchumschlag

Hypergraph Neural Networks Accelerate MUS Enumeration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Ijima, Hiroya, Yawata, Koichiro
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Artificial Intelligence 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

Temporal Inductive Logic Reasoning over Hypergraphs
von: Yang, Yuan, et al.
Veröffentlicht: (2022)

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

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)

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

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

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

Compiling High-Level Neural Network Specifications into VNN-LIB Queries
von: Daggitt, Matthew L., et al.
Veröffentlicht: (2024)

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)

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)

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

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)

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)

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

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

TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
von: Dai, Steve, et al.
Veröffentlicht: (2025)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
von: Ielo, Antonio, et al.
Veröffentlicht: (2024)

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
von: Pati, Viresh, et al.
Veröffentlicht: (2026)

Lattice Deduction Transformers
von: Davis, Liam, et al.
Veröffentlicht: (2026)

Approximating Pareto Frontiers in Stochastic Multi-Objective Optimization via Hashing and Randomization
von: Li, Jinzhao, et al.
Veröffentlicht: (2026)

Transfer Learning from Foundational Optimization Embeddings to Unsupervised SAT Representations
von: Pal, Koyena, et al.
Veröffentlicht: (2026)

MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
von: Xie, Zixuan, et al.
Veröffentlicht: (2026)

Can Transformers Learn to Verify During Backtracking Search?
von: Phua, Yin Jun, et al.
Veröffentlicht: (2026)

ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor for Inductive Logic Programming
von: Sharifi, Iman, et al.
Veröffentlicht: (2026)

MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
von: Liu, Xinyu, et al.
Veröffentlicht: (2026)

What are the Right Symmetries for Formal Theorem Proving?
von: Olejniczak, Krzysztof, et al.
Veröffentlicht: (2026)

Learning to Solve and Optimize by Evolving Code
von: Semmelrock, Veronika, et al.
Veröffentlicht: (2026)

Towards Understanding the Expressive Power of GNNs with Global Readout
von: Funk, Maurice, et al.
Veröffentlicht: (2026)

SFT-GRPO Data Overlap as a Post-Training Hyperparameter for Autoformalization
von: Su, Xiaole, et al.
Veröffentlicht: (2026)

Munkres' General Topology Autoformalized in Isabelle/HOL
von: Bryant, Dustin, et al.
Veröffentlicht: (2026)