3 papers
cs.AI2026
Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
Bradley P. Allen, Prateek Chhikara, Thomas Macaulay Ferguson +2
Large language models (LLMs) have demonstrated impressive capabilities in natural language understanding and generation, but exhibit problems with logical consistency in their outp…
cs.CL2026
Elenchus: Generating Knowledge Bases from Prover-Skeptic Dialogues
Bradley P. Allen
We present Elenchus, a dialogue system for knowledge base construction grounded in inferentialist semantics, where knowledge engineering is re-conceived as explicitation rather tha…
cs.CL2025
A Benchmark for the Detection of Metalinguistic Disagreements between LLMs and Knowledge Graphs
Bradley P. Allen, Paul T. Groth
Evaluating large language models (LLMs) for tasks like fact extraction in support of knowledge graph construction frequently involves computing accuracy metrics using a ground trut…