Search Packages

pyreason

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

klaycircuits

Arithmetic circuits on the GPU

mowl-borg

mOWL: A machine learning library with ontologies

astraintella

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

triadic-head

Drop-in triadic projection head for any HuggingFace transformer. Adds interpretable prime-factor semantic signatures at zero language cost.

verasolve

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

opensymbolicai-core

Build LLM-powered systems as typed, testable Python software — not prompt strings

pytorch-concepts

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

tensorgrad

Tensor Network Library with Symbolic Autograd

tensorg

Machine Learning with Symbolic Tensors