#ankyra

Ankyra: A Neuro-Symbolic Engine for LLM Verification

The open-source Ankyra project introduces a neuro-symbolic engine that uses formal logic to verify LLM outputs and reduce hallucinations.