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