16 citations · 26 across the 5 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
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.AI2023★ 9 cited
Knowledge Engineering using Large Language Models
Bradley P. Allen, Lise Stork, Paul Groth
Knowledge engineering is a discipline that focuses on the creation and maintenance of processes that generate and apply knowledge. Traditionally, knowledge engineering approaches h…