Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations

Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson +2

Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, but exhibit problems with logical consistency in their outp…