2 citations · 2 across the 3 of their papers we have counts for
3 papers
LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic
Aditya Kalyanpur, Kailash Karthik Saravanakumar, Victor Barres +3
We introduce LLM-ARC, a neuro-symbolic framework designed to enhance the logical reasoning capabilities of Large Language Models (LLMs), by combining them with an Automated Reasoni…
Beyond LLMs: Advancing the Landscape of Complex Reasoning
Jennifer Chu-Carroll, Andrew Beck, Greg Burnham +4
Since the advent of Large Language Models a few years ago, they have often been considered the de facto solution for many AI problems. However, in addition to the many deficiencies…
SKATE: A Natural Language Interface for Encoding Structured Knowledge
Clifton McFate, Aditya Kalyanpur, Dave Ferrucci +4
In Natural Language (NL) applications, there is often a mismatch between what the NL interface is capable of interpreting and what a lay user knows how to express. This work descri…