On LLM-generated Logic Programs and their Inference Execution Methods

Paul Tarau

Large Language Models (LLMs) trained on petabytes of data are highly compressed repositories of a significant proportion of the knowledge accumulated and distilled so far. In this…