⊆ subset

A paper that proposes the combination of large language models (LLMs) with logic programming (specifically Prolog) to enhance their deductive reasoning capabilities. The method prompts LLMs to extract information from problem statements and encode it as logical code statements, which are then processed by Prolog to perform explicit deductive reasoning.

A paper that proposes the combination of large language models (LLMs) with logic programming (specifically Prolog) to enhance their deductive reasoning capabilities. The method prompts LLMs to extract information from problem statements and encode it as logical code statements, which are then processed by Prolog to perform explicit deductive reasoning.
https://ar5iv.labs.arxiv.org/html/2407.11373v1