SKATE: A Natural Language Interface for Encoding Structured Knowledge. - Clifton James McFate; Aditya Kalyanpur; David A. Ferrucci; Andrea Bradshaw; Ariel Diertani; David Melville; Lori Moon (AAAI, 2021)

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)