logical-reasoning
There are 45 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.
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
zjunlp/Prompt4ReasoningPapers
[ACL 2023] Reasoning with Language Model Prompting: A Survey
floodsung/Deep-Reasoning-Papers
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
kkteru/grail
Inductive relation prediction by subgraph reasoning, ICML'20
AlphaPav/mem-kk-logic
On Memorization of Large Language Models in Logical Reasoning
Tractables/LogicCircuits.jl
Logic Circuits from the Juice library
bys0318/QTO
[ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
xufangzhi/Logiformer
[SIGIR 2022] The implementation of Logiformer
Strong-AI-Lab/Logical-and-abstract-reasoning
Evaluation on Logical Reasoning and Abstract Reasoning Challenges
bowen-upenn/llm_token_bias
[EMNLP 2024] A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners
GeekDream-x/IDOL
Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023
LHRLAB/NQE
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
Hyun-Ryu/clover
Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
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.
CarolineGao/LoRA-Dataset
[NeurIPS2023] LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering
LARS-research/Rule-learning-expressivity
Understanding Expressivity of GNN in Rule Learning. ICLR 2024
Mihir3009/GridPuzzle
An evaluation dataset comprising of 274 grid-based puzzles with different complexities
Strong-AI-Lab/Logical-Reasoning-Reading-Comprehension-ReClor
The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
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.
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.
USSiamaboat/polytuplet-loss
A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
alibiohenrique/java-backend-roadmap
Repo created to archive my studies and presentations created in my journey studying the Java back-end Roadmap
aurasphere/einstein-problem
Programmatic solution to the Einstein problem
carlos-full-stack/meditation_timer
Timer for meditation sessions
CoderCoding00/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.
EmanueleMusumeci/RoboCup-Coach
Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)
itnef/smtx
My first SMT solver (only QF_UF)
johnsonsirv/mvp-react-calculator
MVP built with React for fictitious company to help with daily arithmetic calculations.
jrcalgo/knowleJ-graph
Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization
Ongoing-Knowledge-Scraping/The-FizzBuzz-Solution
The solution to the famous FizzBuzz game / question.
sameeravithana/FOL_Refutation_Prover
Refutation Prover for FOL using First-Order Resolution
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.
sileod/nlp-verbal-probabilities-reasoning
Probing handling of verbal probabilities in NLP models
MyCodeHari/1208_Major_Project1_Unmessanger
SQL scripts for modelling database and queries to get analytical insights
Hanan467/Family-Tree
A simple family tree built with Prolog, where you can define and query relationships like parents, siblings, grandparents, and cousins using logical rules. Perfect for exploring Prolog’s reasoning power!