PulseAugur
EN
LIVE 12:53:54

New framework unifies neurosymbolic learning with neural networks · 2 sources tracked

Researchers have developed NeSyCat Torch, a novel framework that integrates categorical semantics with neural networks for neurosymbolic learning. This implementation, available in HaskTorch, JAX, and PyTorch, aims to unify fragmented semantic systems by providing a single inductive definition of truth. The system demonstrates strong performance on the MNIST dataset, outperforming existing methods in speed and accuracy while maintaining a uniform framework applicable to various neurosymbolic approaches. AI

IMPACT This research could lead to more unified and efficient neurosymbolic AI systems, potentially improving performance on tasks requiring both logical reasoning and pattern recognition.

RANK_REASON The cluster contains two arXiv papers detailing novel research in neurosymbolic learning.

Read on arXiv cs.AI →

AI-generated summary · Google Gemini · from 4 sources. How we write summaries →

New framework unifies neurosymbolic learning with neural networks · 2 sources tracked

COVERAGE [4]

  1. arXiv cs.AI TIER_1 English(EN) · Daniel Romero Schellhorn, Till Mossakowski, Bj\"orn Gehrke ·

    NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning

    arXiv:2606.19279v1 Announce Type: new Abstract: Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them under a single inductive definition of truth, parametr…

  2. arXiv cs.AI TIER_1 English(EN) · Björn Gehrke ·

    NeSyCat Torch: A Differentiable Tensor Implementation of Categorical Semantics for Neurosymbolic Learning

    Neurosymbolic semantics is fragmented: classical, fuzzy, probabilistic and neural systems each define truth by their own inductive rules. NeSyCat, extending ULLER, subsumes them under a single inductive definition of truth, parametric in a strong monad and an aggregation structur…

  3. arXiv cs.AI TIER_1 English(EN) · Fernando Zhapa-Camacho, Robert Hoehndorf ·

    A homotopy-type-theoretic generalization of neurosymbolic inference

    arXiv:2606.17851v1 Announce Type: new Abstract: A wide range of neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of $\sigma$-structures, of which weighted model counting, fuzzy logic, and probabilistic logic are special…

  4. arXiv cs.AI TIER_1 English(EN) · Robert Hoehndorf ·

    A homotopy-type-theoretic generalization of neurosymbolic inference

    A wide range of neurosymbolic (NeSy) systems compute one functional: a belief-weighted sum of a logical quantity over a space of $σ$-structures, of which weighted model counting, fuzzy logic, and probabilistic logic are special cases. This account is built on sets, and a set deli…