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: Python - Size: 68 MB - Last synced at: about 8 hours ago - Pushed at: about 9 hours ago - Stars: 14 - Forks: 1

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: Python - Size: 189 MB - Last synced at: about 14 hours ago - Pushed at: about 14 hours ago - Stars: 6,583 - Forks: 462

zjunlp/Prompt4ReasoningPapers

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

Size: 7.37 MB - Last synced at: 1 day ago - Pushed at: 12 days ago - Stars: 951 - Forks: 69

sospira/lsat

Notes, drills, and breakdowns focused on logical reasoning. Built for clarity, not speed. A slow archive of structure, assumption, and thought.

Size: 157 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 0 - Forks: 0

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: C - Size: 429 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 2 - Forks: 0

xufangzhi/Logiformer

[SIGIR 2022] The implementation of Logiformer

Language: Python - Size: 4.27 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 28 - Forks: 1

AlphaPav/mem-kk-logic

On Memorization of Large Language Models in Logical Reasoning

Language: Python - Size: 1.3 MB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 60 - Forks: 6

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: Python - Size: 212 KB - Last synced at: 11 days ago - Pushed at: 19 days ago - Stars: 2 - Forks: 0

Tractables/LogicCircuits.jl

Logic Circuits from the Juice library

Language: Julia - Size: 4.55 MB - Last synced at: about 8 hours ago - Pushed at: 10 months ago - Stars: 48 - Forks: 4

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!

Language: Prolog - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

Hyun-Ryu/clover

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

Language: Python - Size: 404 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

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

Size: 33.2 MB - Last synced at: 2 months ago - Pushed at: 3 months ago - Stars: 976 - Forks: 96

bys0318/QTO

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

Language: Python - Size: 12.5 MB - Last synced at: 14 days ago - Pushed at: over 1 year ago - Stars: 28 - Forks: 5

jrcalgo/knowleJ-graph

Java library for propositional logic knowledge representation & proof writing with Neo4J

Language: Java - Size: 524 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 1 - Forks: 0

bowen-upenn/llm_token_bias

[EMNLP 2024] This is the official implementation of the paper "A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners" in PyTorch.

Language: Python - Size: 57.4 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 9 - Forks: 1

MyCodeHari/Unmessanger

PROJECTS RELATED TO DATA ANALYSIS OF DATASETS USING SQL

Size: 36.1 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

musty-ess/Knights-and-Knaves-Logic-Puzzle-Solver-AI

This project is a Python-based solver for Knights and Knaves logic puzzles, based on the classic puzzles by Raymond Smullyan. In these puzzles, each character is either a knight, who always tells the truth, or a knave, who always lies.

Language: Python - Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

aurasphere/einstein-problem

Programmatic solution to the Einstein problem

Language: Java - Size: 9.77 KB - Last synced at: 23 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

judithsanchez/hackerrank-problem-solving

This repository contains my solutions to various problems proposed in Hackerrank.

Language: JavaScript - Size: 3.7 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

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 Notebook - Size: 158 KB - Last synced at: 18 days ago - Pushed at: 9 months ago - Stars: 2 - Forks: 0

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: Python - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

Mihir3009/GridPuzzle

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

Size: 5.24 MB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

floodsung/Deep-Reasoning-Papers

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

Size: 1.32 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 293 - Forks: 34

vimalj/books

Collection of books electrical and computer

Language: C - Size: 479 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

LHRLAB/NQE

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

Language: Python - Size: 6.35 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 19 - Forks: 1

Vikas6543/JavaScript_Interview_Questions

Language: JavaScript - Size: 370 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

LARS-research/Rule-learning-expressivity

Understanding Expressivity of GNN in Rule Learning. ICLR 2024

Language: Python - Size: 96.7 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 7 - Forks: 0

kkteru/grail

Inductive relation prediction by subgraph reasoning, ICML'20

Language: Python - Size: 13.5 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 201 - Forks: 54

shuddha2021/Interactive-Sudoku-Puzzle

Sharpen Your Mind with Interactive Sudoku: Logic Puzzles for Everyone

Language: HTML - Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: 12 months ago - Stars: 0 - Forks: 0

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

Evaluation on Logical Reasoning and Abstract Reasoning Challenges

Language: Python - Size: 181 MB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 5

EmanueleMusumeci/RoboCup-Coach

Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)

Language: C++ - Size: 114 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

alibiohenrique/java-backend-roadmap

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

Size: 2.68 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 1 - Forks: 0

CarolineGao/LoRA-Dataset

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

Language: Jupyter Notebook - Size: 12.4 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

GeekDream-x/IDOL

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

Language: Python - Size: 7.63 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 23 - Forks: 4

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

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

Language: Python - Size: 11.9 MB - Last synced at: 12 months ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1

reethu039/count-the-triangles-exectuable

Language: JavaScript - Size: 666 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

USSiamaboat/polytuplet-loss

A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models

Language: Python - Size: 2.42 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 1

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++ - Size: 6.84 KB - Last synced at: 16 days ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

juliolmuller/elevator-algorithm-

Frontend application in order to develop UI skills and implementation of the elevator's electronic mechanism.

Language: TypeScript - Size: 134 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Shivam-Saini-SS/guess-the-number

Please checkout the number guessing game by hitting the following URL. Have fun!

Language: CSS - Size: 7.74 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

malcodeman/logik

Platform for logical reasoning tests.

Language: TypeScript - Size: 163 KB - Last synced at: 28 days ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

johnsonsirv/mvp-react-calculator

MVP built with React for fictitious company to help with daily arithmetic calculations.

Language: JavaScript - Size: 202 KB - Last synced at: about 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

sameeravithana/FOL_Refutation_Prover

Refutation Prover for FOL using First-Order Resolution

Language: Python - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 1