WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Divyagna1/LLM-R

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

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

About

LLM symbol grounding for formal logical reasoning

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages