Neurosymbolic Python Packages

pyresin

Reactive and asynchronous probabilistic logic programming and model counting.

11K 1 0

klaycircuits

Sparse Circuits on the GPU (ICLR2025)

3K 26 3

pyreason

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

2K 344 39

pytorch-concepts

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

2K 38 13

opensymbolicai-core

Open Symbolic AI Core Repository

789 3 0

mowl-borg

mOWL: Machine Learning library with Ontologies

751 92 5

rulith

Name reserved. rulith is an external reasoning board for LLM agents, distributed on npm and GitHub - not (yet) a Python package.

372 2 0

tensorgrad

Machine Learning with Symbolic Tensors

221 365 19

astraintella

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

180 0 0

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.

175 0 0

verasolve

Verified AI reasoning SDK — placeholder reserving the PyPI name. Functional SDK coming soon.

105 0 0

tensorg

Tensor Network Library with Symbolic Autograd

20 365 19