Neurosymbolic Ai Python Packages

symbolicai

A neurosymbolic perspective on LLMs

klaycircuits

Sparse Circuits on the GPU (ICLR2025)

pyaerial

An implementation of the Aerial neurosymbolic association rule mining algorithm from tabular datasets.

qwed

The Deterministic Verification Protocol for AI - 11 verification engines for math, logic, code, SQL, facts, images, and more. Now with Agentic Security Guards.

triadic-engine

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

lucidium

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

pasp-plp

Differentiable probabilistic answer set programming

botdynamics

A neurosymbolic perspective on LLMs