Neurosymbolic Ai Python Packages

symbolicai

A neurosymbolic perspective on LLMs

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)

pyaerial

Scalable association rule mining from tabular datasets.

pyxlog

XLOG is a GPU-native logic programming language for unified symbolic reasoning. GPU-accelerated Datalog engine with probabilistic inference, inductive logic programmimg, and neural-symbolic integration.

polycog-cognition

Reasoning foundation for trustworthy agents.

pasp-plp

Differentiable probabilistic answer set programming

pdecert

Conservative evidence for symbolic, neural, and agent-generated PDE solution artifacts

lucidium

Experiments in neuro-symbolic reinforcement learning in the pursuit of developing agents/methods to aid in organic reasoning, inference, and logic.

crimsonos

Crimson OS — Reality-Guided Intelligence, not AGI: sovereign local OS on your NAS. Agent_Bridge markdown ledger, not RAM. GAS→LIQUID→CRYSTAL gate. Hausdorff F₂↪SO(3) cos θ=⅓. Geometric_Unity_Validation: JHTDB ablation, negative JSON shipped. Beta · Apache-2.0

triadic-engine

Deterministic neurosymbolic engine — projects embeddings into prime integers for explainable subsumption, composition, and gap analysis. 30.9x faster than cosine similarity.