arXiv AI By Ioannis Konstantoulas, Iliana Loi, Kyriakos Sgarbas

Predicate Neuron: Differentiable Quantization of Predicate Relations in Gradient-based Learning

Read the original on arXiv AI →

The paper introduces the Native Predicate Neuron, a differentiable logic‑reasoning module that can be inserted into standard neural architectures. It learns to alternate between logical operations using a single trainable parameter and employs a dual‑nature gradient mechanism that performs hard logical operations during training while remaining differentiable for backpropagation. Experiments on Fully‑Connected, Convolutional, Recurrent, and Transformer models show that adding Predicate Neurons speeds convergence, improves accuracy, and reduces loss, especially on tasks involving monotonic reasoning or discontinuities.

Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.

arXiv Machine Learning
Sep 15

Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks

The paper introduces a flexible symbolic framework that efficiently computes logical explanations for deep neural networks by parameterizing explanations with internal neuron activations and leveraging general-purpose logical engines like SMT solvers. Unlike previous methods that rely on specialized verifiers or are limited to individual input features, this approach is not restricted in shape and can scale to deep architectures. Experiments on image recognition and medical benchmarks demonstrate improved computational efficiency and the ability to explain networks that were previously intractable for logic-based methods.

By Tom\'a\v{s} Kol\'arik, Faezeh Labbaf, Fabrizio Leopardi, Grigory Fedyukovich, Michael Wand, Natasha Sharygina
arXiv AI
Jul 24

Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems

arXiv:2607. 21185v1 Announce Type: new Abstract: Neurosymbolic (NeSy) systems integrate neural networks with logical reasoning to achieve both generalization and interpretability, but recent work has shown they are susceptible to shortcut reasoning behaviors.

By Akihiro Takemura (National Institute of Informatics, Tokyo, Japan), Katsumi Inoue (National Institute of Informatics, Tokyo, Japan)