Buchumschlag

Logic Synthesis with Generative Deep Neural Networks

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Li, Xihan, Li, Xing, Chen, Lei, Zhang, Xing, Yuan, Mingxuan, Wang, Jun
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

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

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
von: Köhler, Dominik, et al.
Veröffentlicht: (2024)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

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

Categorical Construction of Logically Verifiable Neural Architectures
von: Nye, Logan
Veröffentlicht: (2025)

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

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
von: Xu, Yang, et al.
Veröffentlicht: (2025)

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

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

Static Analysis of Logic Programs via Boolean Networks
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

BayesL: a Logical Framework for the Verification of Bayesian Networks
von: Nicoletti, Stefano M., et al.
Veröffentlicht: (2025)

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

Integrating Fuzzy Logic into Deep Symbolic Regression
von: Gerdes, Wout, et al.
Veröffentlicht: (2024)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
von: Zhang, Xinglang, et al.
Veröffentlicht: (2026)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
von: Wang, Ruolin, et al.
Veröffentlicht: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
von: Fandinno, Jorge, et al.
Veröffentlicht: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
von: Xiao, Shengping, 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)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

Dsat: A Native SAT Solver for Discrete Logic
von: Zhang, Yaofang, et al.
Veröffentlicht: (2026)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
von: An, Chenyang, et al.
Veröffentlicht: (2024)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
von: Bednarczyk, Bartosz
Veröffentlicht: (2023)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
von: Meng, Qiaolan, et al.
Veröffentlicht: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

A Compositional Framework for On-the-Fly LTLf Synthesis
von: Li, Yongkang, et al.
Veröffentlicht: (2025)

Metric Dynamic Equilibrium Logic
von: Becker, Arvid, et al.
Veröffentlicht: (2024)

A Logic of Uncertain Interpretation
von: Bjorndahl, Adam
Veröffentlicht: (2025)

Logical foundations of Smart Contracts
von: Kalala, Kalonji
Veröffentlicht: (2025)

On the Logical Content of Knowledge Bases
von: Gheorghiu, Alexader V., et al.
Veröffentlicht: (2025)

Existential Notation3 Logic
von: Arndt, Dörthe, et al.
Veröffentlicht: (2023)

Probabilistic Strategy Logic with Degrees of Observability
von: Mu, Chunyan, et al.
Veröffentlicht: (2024)

Extending Defeasibility for Propositional Standpoint Logics
von: Leisegang, Nicholas, et al.
Veröffentlicht: (2025)

Logical Characterizations of GNNs with Mean Aggregation
von: Schönherr, Moritz, et al.
Veröffentlicht: (2025)

Deductive Systems for Logic Programs with Counting
von: Fandinno, Jorge, et al.
Veröffentlicht: (2025)

Model Change for Description Logic Concepts
von: Ozaki, Ana, et al.
Veröffentlicht: (2026)

Fuzzy Lattice-based Description Logic
von: Ding, Yiwen, et al.
Veröffentlicht: (2025)

Logical Negation Augmenting and Debiasing for Prompt-based Methods
von: Li, Yitian, et al.
Veröffentlicht: (2024)

Incremental Neural Network Verification via Learned Conflicts
von: Elsaleh, Raya, et al.
Veröffentlicht: (2026)

On the Trap Space Semantics of Normal Logic Programs
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2026)