Skip to content

Latest commit

 

History

History
10 lines (6 loc) · 373 Bytes

File metadata and controls

10 lines (6 loc) · 373 Bytes

LLM-R

LLM symbol grounding for formal logical reasoning

Step 1: Process the text in a sample from logicNLI dataset and extract the logical facts about it and for a knowledge graph of it using GPT-5.

Step 2: Save it in the input folder

Step 3: Run PyReason solver to infer and reason about the facts

Step 4: Include the query as logical facta nd check for consistency