2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CL2024
Multi-step Inference over Unstructured Data
Aditya Kalyanpur, Kailash Karthik Saravanakumar, Victor Barres +8
The advent of Large Language Models (LLMs) and Generative AI has revolutionized natural language applications across various domains. However, high-stakes decision-making tasks in…
cs.CL2024★ 2 cited
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…