4 papers
Incremental Computation: What Is the Essence?
Yanhong A. Liu
Incremental computation aims to compute more efficiently on changed input by reusing previously computed results. We give a high-level overview of works on incremental computation,…
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…
Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
Anil Nerode, Yanhong A. Liu
This proceedings contains abstracts and position papers for the work to be presented at the fourth Logic and Practice of Programming (LPOP) Workshop. The workshop is to be held in…
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…