Cover Image

eXpLogic: Explaining Logic Types and Patterns in DiffLogic Networks

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Wormald, Stephen, Koblah, David, Maldaner, Matheus Kunzler, Forte, Domenic, Woodard, Damon L.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Resource Utilization of Differentiable Logic Gate Networks Deployed on FPGAs
by: Wormald, Stephen, et al.
Published: (2026)

Causal AI For AMS Circuit Design: Interpretable Parameter Effects Analysis
by: Hussain, Mohyeu, et al.
Published: (2026)

Explaining Neural Networks in Preference Learning: a Post-hoc Inductive Logic Programming Approach
by: Fossemò, Daniele, et al.
Published: (2026)

From Arithmetic to Logic: The Resilience of Logic and Lookup-Based Neural Networks Under Parameter Bit-Flips
by: Bacellar, Alan T. L., et al.
Published: (2026)

Logical Distillation of Graph Neural Networks
by: Pluska, Alexander, et al.
Published: (2024)

Fitting Multilinear Polynomials for Logic Gate Networks
by: Kim, Youngsung
Published: (2026)

Propositional Logic for Probing Generalization in Neural Networks
by: Langedijk, Anna, et al.
Published: (2025)

Subjective Logic Encodings
by: Vasilakes, Jake, et al.
Published: (2025)

ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning
by: Lin, Bill Yuchen, et al.
Published: (2025)

Understanding Domain-Size Generalization in Markov Logic Networks
by: Chen, Florian, et al.
Published: (2024)

Neuro-Logic Lifelong Learning
by: He, Bowen, et al.
Published: (2025)

Modeling Relational Patterns for Logical Query Answering over Knowledge Graphs
by: He, Yunjie, et al.
Published: (2023)

ChaosBench-Logic v2: Evaluating LLM Logical Reasoning over Dynamical Systems at Scale
by: Thomas, Noel
Published: (2026)

A Method for Optimizing Connections in Differentiable Logic Gate Networks
by: Mommen, Wout, et al.
Published: (2025)

Variable Assignment Invariant Neural Networks for Learning Logic Programs
by: Phua, Yin Jun, et al.
Published: (2024)

Neural Logic Networks for Interpretable Classification
by: Perreault, Vincent, et al.
Published: (2025)

Self-Supervised Inductive Logic Programming
by: Patsantzis, Stassa
Published: (2025)

Reasoning-as-Logic-Units: Scaling Test-Time Reasoning in Large Language Models Through Logic Unit Alignment
by: Li, Cheryl, et al.
Published: (2025)

Zadeh's Type-2 Fuzzy Logic Systems: Precision and High-Quality Prediction Intervals
by: Guven, Yusuf, et al.
Published: (2024)

Enhancing Interval Type-2 Fuzzy Logic Systems: Learning for Precision and Prediction Intervals
by: Koklu, Ata, et al.
Published: (2024)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Interpretable Classification via a Rule Network with Selective Logical Operators
by: Wei, Bowen, et al.
Published: (2024)

Digital Metabolism: Decoupling Logic from Facts via Regenerative Unlearning -- Towards a Pure Neural Logic Core
by: Peng, Mengmeng, et al.
Published: (2026)

Label Distribution Learning from Logical Label
by: Jia, Yuheng, et al.
Published: (2023)

Multitask Kernel-based Learning with Logic Constraints
by: Diligenti, Michelangelo, et al.
Published: (2024)

Learning with Logical Constraints but without Shortcut Satisfaction
by: Li, Zenan, et al.
Published: (2024)

Neuro-symbolic Learning Yielding Logical Constraints
by: Li, Zenan, et al.
Published: (2024)

Regional, Lattice and Logical Representations of Neural Networks
by: Preto, Sandro, et al.
Published: (2025)

Logic Tensor Network-Enhanced Generative Adversarial Network
by: Upreti, Nijesh, et al.
Published: (2026)

Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach
by: Meli, Daniele, et al.
Published: (2024)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
by: Bi, Zhen, et al.
Published: (2025)

DivLogicEval: A Framework for Benchmarking Logical Reasoning Evaluation in Large Language Models
by: Chung, Tsz Ting, et al.
Published: (2025)

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models
by: He, Kang, et al.
Published: (2025)

Align Forward, Adapt Backward: Closing the Discretization Gap in Logic Gate Networks
by: Kim, Youngsung
Published: (2026)

The Viscosity of Logic: Phase Transitions and Hysteresis in DPO Alignment
by: Pollanen, Marco
Published: (2026)

ActivationReasoning: Logical Reasoning in Latent Activation Spaces
by: Helff, Lukas, et al.
Published: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
by: Sun, Fengsong, et al.
Published: (2024)

Standard Neural Computation Alone Is Insufficient for Logical Intelligence
by: Kim, Youngsung
Published: (2025)

Comparing Neural Network Encodings for Logic-based Explainability
by: Carvalho, Levi Cordeiro, et al.
Published: (2025)

Poisoning the Inner Prediction Logic of Graph Neural Networks for Clean-Label Backdoor Attacks
by: Zhang, Yuxiang, et al.
Published: (2026)