logical-reasoning

There are 54 repositories under logical-reasoning topic.

  • OpenSPG/KAG

    KAG is a logical form-guided reasoning and retrieval framework based on OpenSPG engine and LLMs. It is used to build logical reasoning and factual Q&A solutions for professional domain knowledge bases. It can effectively overcome the shortcomings of the traditional RAG vector similarity calculation model.

    Language:Python8.2k73428618

  • enhancedformysql/The-Art-of-Problem-Solving-in-Software-Engineering_How-to-Make-MySQL-Better

    The Art of Problem-Solving in Software Engineering: How to Make MySQL Better

    1.9k173153

  • zjunlp/Prompt4ReasoningPapers

    [ACL 2023] Reasoning with Language Model Prompting: A Survey

    98622570

  • floodsung/Deep-Reasoning-Papers

    Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning

    31410134

  • kkteru/grail

    Inductive relation prediction by subgraph reasoning, ICML'20

    Language:Python24721561

  • MiniMax-AI/SynLogic

    [NeurIPS 2025] The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

    Language:Python1790419

  • AlphaPav/mem-kk-logic

    On Memorization of Large Language Models in Logical Reasoning

    Language:Python71216
  • LogicCircuits.jl

    Tractables/LogicCircuits.jl

    Logic Circuits from the Juice library

    Language:Julia506504

  • Alpha-Innovator/MME-Reasoning

    Official Repository: A Comprehensive Benchmark for Logical Reasoning in MLLMs

    Language:Python434

  • bys0318/QTO

    [ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

    Language:Python29125

  • Strong-AI-Lab/Logical-and-abstract-reasoning

    Evaluation on Logical Reasoning and Abstract Reasoning Challenges

    Language:Python28306

  • xufangzhi/Logiformer

    [SIGIR 2022] The implementation of Logiformer

    Language:Python28131

  • bowen-upenn/llm_token_bias

    [EMNLP 2024] A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners

    Language:Python25201

  • LHRLAB/NQE

    [AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".

    Language:Python25133

  • GeekDream-x/IDOL

    Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023

    Language:Python23225

  • Hyun-Ryu/clover

    Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.

    Language:Python22102

  • Strong-AI-Lab/Logical-Equivalence-driven-AMR-Data-Augmentation-for-Representation-Learning

    The source code for Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning. #1 on the ReClor Leaderboard and we are the first group scored above 90% on the hidden test set around the world. The paper has been accepted by the Findings of ACL-24.

    Language:Python15312

  • CarolineGao/LoRA-Dataset

    [NeurIPS2023] LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering

    Language:Jupyter Notebook13140

  • LARS-research/Rule-learning-expressivity

    Understanding Expressivity of GNN in Rule Learning. ICLR 2024

    Language:Python810

  • Mihir3009/GridPuzzle

    An evaluation dataset comprising of 274 grid-based puzzles with different complexities

    8101

  • lwardzala/business_rules_reasoning

    A Python-based logical reasoning system combining rule-based engines with Large Language Models (LLMs) for business automation. Supports deduction and hypothesis testing, partial fact completion, and automated fact retrieval via documents or chat. Features include explainable reasoning, workflow integration, and customizable knowledge bases.

    Language:Python6100

  • Strong-AI-Lab/Logical-Reasoning-Reading-Comprehension-ReClor

    The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.

    Language:Python4301

  • acrion/zelph

    A sophisticated semantic network system capable of encoding inference rules within the network itself. Built for efficient memory usage and powerful logical reasoning, zelph can process the entire Wikidata knowledge graph (1.4TB) to detect contradictions and make logical deductions.

    Language:C30

  • MohitSutharOfficial/Java-Dsa-Bootcamp

    This repo is open to all who want to prepare for java DSA+Interview preparation .👍

    Language:Java3

  • USSiamaboat/polytuplet-loss

    A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models

    Language:Python3101

  • kang-ml/LogicTree

    [EMNLP 2025 Main] LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models

    Language:Python2

  • SavinRazvan/minesweeper

    An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

    Language:Jupyter Notebook2100

  • alibiohenrique/java-backend-roadmap

    Repo created to archive my studies and presentations created in my journey studying the Java back-end Roadmap

    1100

  • carlos-full-stack/meditation_timer

    Timer for meditation sessions

    Language:JavaScript1100

  • drsarveshwarbharti/Aptitude-For-Placements

    This repository is a comprehensive collection of aptitude questions and exercises designed specifically for placement preparation and competitive exams.

    1

  • itnef/smtx

    My first SMT solver (only QF_UF)

    Language:Haskell1200

  • jrcalgo/knowleJ-graph

    Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization

    Language:Java1160
  • The-FizzBuzz-Solution

    Ongoing-Knowledge-Scraping/The-FizzBuzz-Solution

    The solution to the famous FizzBuzz game / question.

    Language:Python100

  • PurpleBird3/Sum_Limit

    Sum Limit is a logical problem based on the sum of two given digits. If the sum of the two digits has the same number of digits as the first given digit, return the sum of the two. If the sum has More digits than the first given digit return the first given digit only.

    Language:C++1

  • SavinRazvan/knights

    A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.

    Language:Python1100

  • sileod/nlp-verbal-probabilities-reasoning

    Probing handling of verbal probabilities in NLP models

    Language:Jupyter Notebook110