Login / Signup
LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic.
Aditya Kalyanpur
Kailash Saravanakumar
Victor Barres
Jennifer Chu-Carroll
David Melville
David A. Ferrucci
Published in:
CoRR (2024)
Keyphrases
</>
automated reasoning
reasoning systems
knowledge representation
theorem prover
theorem proving
reasoning tasks
probabilistic reasoning
decision procedures
automated verification
propositional satisfiability
knowledge representation and reasoning
high level
natural language
higher order
description logics