Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"
-
Updated
Mar 13, 2024 - Python
Official implementation of LoT paper: "Enhancing Zero-Shot Chain-of-Thought Reasoning in Large Language Models through Logic"
PARARULE Plus: A Larger Deep Multi-Step Reasoning Dataset over Natural Language
Simple symbolic reasoner which supports fuzzy unification in Python
Contains my solution to selected projects in CS50AI
My code and report of Udacity AI nanodegree project2 Build a Forward-Planning Agent
puzzles, problems, search, sort, graph, constraint, theory, symbolic
To make logic solution or statement verification more consistent and efficient than human processing.
Add a description, image, and links to the symbolic-logic topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-logic topic, visit your repo's landing page and select "manage topics."