Polycog

A neurosymbolic agent to estimate transportation costs; LLM handles a conversation with a human operator and symbolic world graph reasoner and planner estimate costs in real time.

A neurosymbolic validator for legal eligibility: an LLM reads court notes as asserted facts, a symbolic logical reasoner uses legal rules to determine eligibility.

A neurosymbolic, interactive assistant for payments; an LLM manages the conversation, a symbolic decision process enforces a bank's policy

A neurosymbolic, interactive assistant that guides staff through a student injury policy: an LLM interprets what happened, and code sets policy, and symbolic reasoning decides the next step.

Reasoning foundation for trustworthy agents.

Official tutorial series for cognition — a neurosymbolic agent framework combining probabilistic frontier models with deterministic, logical symbolic AI.