Cover Image

KLay: Accelerating Arithmetic Circuits for Neurosymbolic AI

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Maene, Jaron, Derkinderen, Vincent, Martires, Pedro Zuidberg Dos
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Hardness of Probabilistic Neurosymbolic Learning
by: Maene, Jaron, et al.
Published: (2024)

Probabilistic Neural Circuits
by: Martires, Pedro Zuidberg Dos
Published: (2024)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

Independence Is Not an Issue in Neurosymbolic AI
by: Faronius, Håkan Karlsson, et al.
Published: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

Automated Reasoning in Systems Biology: a Necessity for Precision Medicine
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2024)

A Quantum Information Theoretic Approach to Tractable Probabilistic Models
by: Martires, Pedro Zuidberg Dos
Published: (2025)

Extracting Moore Machines from Transformers using Queries and Counterexamples
by: Adriaensen, Rik, et al.
Published: (2024)

A Fast Convoluted Story: Scaling Probabilistic Inference for Integer Arithmetic
by: De Smet, Lennert, et al.
Published: (2024)

Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
by: Hazra, Rishi, et al.
Published: (2025)

The Gradient of Algebraic Model Counting
by: Maene, Jaron, et al.
Published: (2025)

DeepLog: A Software Framework for Modular Neurosymbolic AI
by: Manhaeve, Robin, et al.
Published: (2026)

APC-RL: Exceeding Data-Driven Behavior Priors with Adaptive Policy Composition
by: Rietz, Finn, et al.
Published: (2026)

ExplainFuzz: Explainable and Constraint-Conditioned Test Generation with Probabilistic Circuits
by: Baiget, Annaëlle, et al.
Published: (2026)

SayCanPay: Heuristic Planning with Large Language Models using Learnable Domain Knowledge
by: Hazra, Rishi, et al.
Published: (2023)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

Two Constraint Compilation Methods for Lifted Planning
by: Mantenoglou, Periklis, et al.
Published: (2025)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
by: Derkinderen, Vincent
Published: (2024)

Can Large Language Models Reason? A Characterization via 3-SAT
by: Hazra, Rishi, et al.
Published: (2024)

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
by: Mantenoglou, Periklis, et al.
Published: (2025)

Dash: Accelerating Distributed Private Convolutional Neural Network Inference with Arithmetic Garbled Circuits
by: Sander, Jonas, et al.
Published: (2023)

REvolve: Reward Evolution with Large Language Models using Human Feedback
by: Hazra, Rishi, et al.
Published: (2024)

COvolve: Adversarial Co-Evolution of Large-Language-Model-Generated Policies and Environments via Two-Player Zero-Sum Game
by: Sygkounas, Alkis, et al.
Published: (2026)

Neurosymbolic AI Transfer Learning Improves Network Intrusion Detection
by: Tran, Huynh T. T., et al.
Published: (2025)

Neurosymbolic Diffusion Models
by: van Krieken, Emile, et al.
Published: (2025)

Right for the Right Reasons: Avoiding Reasoning Shortcuts via Prototypical Neurosymbolic AI
by: Andolfi, Luca, et al.
Published: (2025)

Neurosymbolic Conformal Classification
by: Ledaguenel, Arthur, et al.
Published: (2024)

Causal Unit Selection using Tractable Arithmetic Circuits
by: Huang, Haiying, et al.
Published: (2024)

Lobster: A GPU-Accelerated Framework for Neurosymbolic Programming
by: Biberstein, Paul, et al.
Published: (2025)

Hardware-efficient tractable probabilistic inference for TinyML Neurosymbolic AI applications
by: Leslin, Jelin, et al.
Published: (2025)

Relational Neurosymbolic Markov Models
by: De Smet, Lennert, et al.
Published: (2024)

Optimisation in Neurosymbolic Learning Systems
by: van Krieken, Emile
Published: (2024)

On the Independence Assumption in Neurosymbolic Learning
by: van Krieken, Emile, et al.
Published: (2024)

Imbalances in Neurosymbolic Learning: Characterization and Mitigating Strategies
by: Wang, Kaifu, et al.
Published: (2024)

On Improving Neurosymbolic Learning by Exploiting the Representation Space
by: Naik, Aaditya, et al.
Published: (2026)

Neurosymbolic Reasoning Shortcuts under the Independence Assumption
by: van Krieken, Emile, et al.
Published: (2025)

Fourier Circuits in Neural Networks and Transformers: A Case Study of Modular Arithmetic with Multiple Inputs
by: Li, Chenyang, et al.
Published: (2024)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
by: DeLong, Lauren Nicole, et al.
Published: (2023)

Arithmetic Circuits and Neural Networks for Regular Matroids
by: Hertrich, Christoph, et al.
Published: (2025)

OwkinZero: Accelerating Biological Discovery with AI
by: Bigaud, Nathan, et al.
Published: (2025)