LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic. - Aditya Kalyanpur; Kailash Saravanakumar; Victor Barres; Jennifer Chu-Carroll; David Melville; David A. Ferrucci (CoRR, 2024)

Multi-step Knowledge Retrieval and Inference over Unstructured Data. - Aditya Kalyanpur; Kailash Saravanakumar; Victor Barres; CJ McFate; Lori Moon; Nati Seifu; Maksim Eremeev; Jose Barrera; Eric Brown; David A. Ferrucci (CoRR, 2024)