Search Packages

symbolicai

A neurosymbolic perspective on LLMs

pyaerial

Scalable association rule mining 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.

klaycircuits

Arithmetic circuits on the GPU

triadic-engine

Deterministic AI auditing and semantic validation via prime factorization — 28.4x faster than cosine, fully explainable

pasp-plp

Differentiable probabilistic answer set programming

lucidium

Experiments in neuro-symbolic reinforcement learning in the

botdynamics

A Neuro-Symbolic Framework for Python