Last released May 6, 2026
Neuro-symbolic guardrails for LLMs: rules + repair loops + (optional) SMT.
Supported by