:: Library Catalog

Cover Image

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:	https://arxiv.org/abs/2503.09910
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)

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

Disguising Topology and Side-Channel Information through Covert Gate- and ML-Enabled IP Camouflaging
by: Fan, Junling, et al.
Published: (2026)

Designing with Deception: ML- and Covert Gate-Enhanced Camouflaging to Thwart IC Reverse Engineering
by: Fan, Junling, et al.
Published: (2025)

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

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)

Explainable Malware Detection with Tailored Logic Explained Networks
by: Anthony, Peter, et al.
Published: (2024)

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

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

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

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

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

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

On Explaining Visual Captioning with Hybrid Markov Logic Networks
by: Shah, Monika, et al.
Published: (2025)

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

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

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)

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

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

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)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
by: Fioravanti, Stefano, et al.
Published: (2025)

Combining LLMs with Logic-Based Framework to Explain MCTS
by: An, Ziyan, et al.
Published: (2025)

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)

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)

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

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

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

LogicVista: Multimodal LLM Logical Reasoning Benchmark in Visual Contexts
by: Xiao, Yijia, et al.
Published: (2024)

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)