2 papers
cs.AI2025
LP-LM: No Hallucinations in Question Answering with Logic Programming
Katherine Wu, Yanhong A. Liu
Large language models (LLMs) are able to generate human-like responses to user queries. However, LLMs exhibit inherent limitations, especially because they hallucinate. This paper…
cs.PL2024
Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming
David S. Warren, Yanhong A. Liu
This proceedings contains abstracts and position papers for the work presented at the third Logic and Practice of Programming (LPOP) Workshop. The workshop was held online, using z…