logical-reasoning

Star

Here are 63 public repositories matching this topic...

Language:All

Filter by language

All63 Python27 JavaScript7 Java3 Jupyter Notebook3 C++2 TypeScript2 C1 CSS1 HTML1 Haskell1

Sort:Most stars

Sort options

Most stars Fewest stars Most forks Fewest forks Recently updated Least recently updated

OpenSPG /KAG

Star8.4k

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.

knowledge-graph logical-reasoning large-language-model multi-hop-question-answering trustfulness

UpdatedDec 2, 2025
Python

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

Star1.9k

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

mysql data-structure algorithms consistency mvcc scalability high-availability performance-analysis cap dynamic-programming problem-solving paxos performance-testing innodb queueing-theory tpcc group-replication logical-reasoning logical-thinking tcpcopy

UpdatedJul 31, 2025

zjunlp /Prompt4ReasoningPapers

Star990

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

nlp natural-language-processing prompt artificial-intelligence survey datasets language-models reasoning commonsense-reasoning paper-list awsome-list logical-reasoning symbolic-reasoning gpt-3 large-language-models llm prompt-engineering chain-of-thought arithmetic-reasoning chatgpt

UpdatedMay 21, 2025

floodsung /Deep-Reasoning-Papers

Star314

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

planning modularity visual-reasoning neural-symbolic-reasoning logical-reasoning physical-reasoning

UpdatedMay 30, 2022

kkteru /grail

Star248

Inductive relation prediction by subgraph reasoning, ICML'20

graph-neural-networks graph-representation-learning inductive-learning logical-reasoning heterogeneous-graph knowledge-graphs heterogeneous-graph-neural-network

UpdatedJul 25, 2024
Python

MiniMax-AI /SynLogic

Star187

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

logical-reasoning large-language-models llms synlogic

UpdatedJul 7, 2025
Python

AlphaPav /mem-kk-logic

Star72

On Memorization of Large Language Models in Logical Reasoning

mathematics memorization logical-reasoning llm finetuning-llms

UpdatedMar 29, 2025
Python

Tractables /LogicCircuits.jl

Star50

Logic Circuits from the Juice library

julia logic automated-reasoning logic-circuits logical-reasoning

UpdatedJun 15, 2024
Julia

InternScience /MME-Reasoning

Star45

Official Repository: A Comprehensive Benchmark for Logical Reasoning in MLLMs

logical-reasoning reasoning-benchmark vlm-benchmark

UpdatedJun 17, 2025
Python

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

Star29

Evaluation on Logical Reasoning and Abstract Reasoning Challenges

logical-reasoning abstract-reasoning large-language-models

UpdatedApr 21, 2025
Python

xufangzhi /Logiformer

Star28

[SIGIR 2022] The implementation of Logiformer

question-answering machine-reading-comprehension logical-reasoning

UpdatedJan 11, 2024
Python

bys0318 /QTO

Star28

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

knowledge-graph logical-reasoning symbolic-reasoning

UpdatedSep 22, 2023
Python

Hyun-Ryu /clover

Star27

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

logical-reasoning large-language-models reasoning-language-models

UpdatedMay 12, 2025
Python

bowen-upenn /llm_token_bias

Star26

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

logical-reasoning large-language-models llm llm-evaluation llm-reasoning token-bias

UpdatedDec 11, 2024
Python

LHRLAB /NQE

Star25

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

first-order-logic pytorch transformer knowledge-graph fuzzy-logic hyper-relational multi-hop-reasoning logical-reasoning query-embedding

UpdatedSep 22, 2025
Python

GeekDream-x /IDOL

Star23

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

natural-language-processing machine-reading-comprehension logical-reasoning acl2023

UpdatedNov 7, 2023
Python

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

Star17

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.

logical-reasoning contrastive-learning logical-equivalences logic-driven-data-augmentation