#neuro-symbolic

Ankyra: Combining Language Models with Formal Logic Solvers

Ankyra introduces a neuro-symbolic reasoning framework that pairs language models with formal logic solvers to reduce hallucinations and improve reasoning accuracy.