Logo image
Towards Enhancing LLMs with Logic-Based Reasoning: A Meta Inverse Entailment Approach
Conference paper   Peer reviewed

Towards Enhancing LLMs with Logic-Based Reasoning: A Meta Inverse Entailment Approach

Learning and Reasoning 4th International Joint Conference on Learning and Reasoning, IJCLR 2024 and 33rd International Conference on Inductive Logic Programming, ILP 2024 Nanjing, China, September 20–22, 2024 Proceedings, Vol.16059, pp.268-282
Lecture Notes in Computer Science, 16059, Springer Nature
33rd International Conference on Inductive Logic Programming 2024 (ILP 2024) (Nanjing, China, 20/09/2024–22/09/2024)
2026

Abstract

Large Language Models Logical Reasoning Meta Inverse Entailment PyGol
Large Language Models (LLMs) have achieved remarkable success in various natural language processing tasks. However, their ability to perform tasks requiring formal representation and reasoning remains limited. This paper explores the integration of Meta Inverse Entailment (MIE) with LLMs to enhance their reasoning capabilities. In our experiments, we examine a hybrid GPT-MIE model on a simplified natural language grammar. The results suggest that the accuracy of GPT is significantly improved when it incorporates the grammar learned using MIE. This hybrid approach demonstrates the potential of combining LLMs’ linguistic proficiency with MIE’s rigorous formalism, leading to better performance in tasks demanding logical representation and reasoning.
url
https://publica.fraunhofer.de/entities/event/d04c51a3-69a1-482f-b518-ddc94e4953f5View
Event Website Conference website

Metrics

1 Record Views

Details

Logo image

Usage Policy