Neurosymbolic Python Packages

pyresin

Reactive probabilistic logic programming with Reactive Circuits: exact, incremental inference over asynchronous data streams.

pymetta

MeTTa, Hyperon's AGI language, based on PeTTa semantics with significant extensions.

pyreason

An explainable inference software supporting annotated, real valued, graph based and temporal logic

pydeeplog

DeepLog: the PyTorch for neurosymbolic AI

torchmodal

Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.

klaycircuits

Sparse Circuits on the GPU (ICLR2025)

mowl-borg

mOWL: Machine Learning library with Ontologies

pytorch-concepts

PyC (Pytorch Concepts) is a PyTorch-based library for designing concept-based interpretable deep learning models.

polycog-cognition

Reasoning foundation for trustworthy agents.

reasonsmith

Prove which legally-owed reasons a decision system deleted, and from whom — by re-running its own inference, not reading its log. Every verdict states how it was reached.

tensorgrad

Machine Learning with Symbolic Tensors

opensymbolicai-core

Open Symbolic AI Core Repository

ztare

Autonomous research engine for generating, testing, and governing auditable claims across science, proofs, and high-stakes projects.

nesyarena

Accuracy Hides Semantic Error: A Diagnostic Arena for Neuro-Symbolic Reasoning

factgate

A hallucination gate whose verdict is a comparison, not a judgement: parameter-free fact verification for LLM claims over a declared domain. pip install factgate

astraintella

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers

triadic-head

End-to-end prime factorization in a generative LM. 40M-param GPT that learns algebraically verifiable prime-factor signatures at negligible language cost (+1.7% PPL). Paper (Zenodo) + triadic-head (PyPI) + reptimeline.

tl-pjrt

Tensor Logic as a StableHLO-emitting DSL for PJRT runtimes

verasolve

Verified AI reasoning SDK — formal verification layer between LLMs and constraint solvers