Topic: logical-reasoning Goto Github

👇 Here are 46 public repositories matching this topic...

acrion / zelph
logical-reasoning,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.
Organization: acrion
Home Page: https://zelph.org
contradiction-detection cpp-library inference-engine knowledge-graph knowledge-representation logical-reasoning memory-optimization semantic-network semantic-web wikidata

alibiohenrique / java-backend-roadmap
logical-reasoning,Repo created to archive my studies and presentations created in my journey studying the Java back-end Roadmap
User: alibiohenrique
Home Page: https://youtube.com/playlist?list=PLVAcMgs1vl-ViA9lNF5qmQBmsNO-nRR0m&si=e2sDDxrbY1pTxjj3
java logical-reasoning spring-boot

alphapav / mem-kk-logic
logical-reasoning,On Memorization of Large Language Models in Logical Reasoning
User: alphapav
Home Page: https://memkklogic.github.io/
finetuning-llms llm logical-reasoning mathematics memorization

arllindosp / monitoria-ip
logical-reasoning,Repositório criado para registrar as questões criadas por mim para a monitoria de introdução a programação.
User: arllindosp
debbuging logical-reasoning programming computacional-creativity

aurasphere / einstein-problem
logical-reasoning,Programmatic solution to the Einstein problem
User: aurasphere
einstein-problem zebra-puzzle brute-force combinatorics logical-reasoning algorithms

bowen-upenn / llm_token_bias
logical-reasoning,[EMNLP 2024] A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners
User: bowen-upenn
Home Page: https://arxiv.org/abs/2406.11050
large-language-models llm llm-reasoning token-bias llm-evaluation logical-reasoning

bys0318 / qto
logical-reasoning,[ICML 2023] Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
User: bys0318
knowledge-graph logical-reasoning symbolic-reasoning

carlos-full-stack / meditation_timer
logical-reasoning,Timer for meditation sessions
User: carlos-full-stack
Home Page: https://carlos-full-stack.github.io/meditation_timer/
bem-methodology css html javascript logical-reasoning storage vanilla-javascript reponsive-design

carolinegao / lora-dataset
logical-reasoning,[NeurIPS2023] LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering
User: carolinegao
Home Page: https://lora-vqa.github.io/
logical-reasoning lvm multimodal vqa

emanuelemusumeci / robocup-coach
logical-reasoning,Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)
User: emanuelemusumeci
artificial-intelligence human-robot-interaction logical-reasoning planning robocup robocup-spl robotics

enhancedformysql / the-art-of-problem-solving-in-software-engineering_how-to-make-mysql-better
logical-reasoning,The Art of Problem-Solving in Software Engineering: How to Make MySQL Better
Organization: enhancedformysql
Home Page: https://enhancedformysql.github.io/The-Art-of-Problem-Solving-in-Software-Engineering_How-to-Make-MySQL-Better/
algorithms cap consistency dynamic-programming group-replication high-availability innodb logical-reasoning logical-thinking mvcc

floodsung / deep-reasoning-papers
logical-reasoning,Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
User: floodsung
neural-symbolic-reasoning logical-reasoning visual-reasoning planning physical-reasoning modularity

geekdream-x / idol
logical-reasoning,Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023
User: geekdream-x
logical-reasoning machine-reading-comprehension natural-language-processing acl2023

hanan467 / family-tree
logical-reasoning,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!
User: hanan467
inference logical-reasoning prolog

hyun-ryu / clover
logical-reasoning,Official code for "Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning", ICLR 2025.
User: hyun-ryu
Home Page: https://arxiv.org/abs/2410.08047
large-language-models logical-reasoning reasoning-language-models

itnef / smtx
logical-reasoning,My first SMT solver (only QF_UF)
User: itnef
learning-by-doing smt-solver backjumping cnf tseitin-transformation logic-programming sat-solver sat-solving satisfiability-modulo-theories logical-reasoning

johnsonsirv / mvp-react-calculator
logical-reasoning,MVP built with React for fictitious company to help with daily arithmetic calculations.
User: johnsonsirv
Home Page: https://mvp-react-calculator.herokuapp.com/
react daily-arithmetic-calculations mvp datastructures logical-reasoning

jrcalgo / knowlej-graph
logical-reasoning,Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization
User: jrcalgo
knowledge-graph logical-reasoning machine-learning-optimization propositional-logic library neo4j-database ai-system neurosymbolic-ai

judithsanchez / hackerrank-problem-solving
logical-reasoning,This repository contains my solutions to various problems proposed in Hackerrank.
User: judithsanchez
Home Page: https://www.hackerrank.com/domains/algorithms?filters%5Bstatus%5D%5B%5D=unsolved&badge_type=problem-solving
javascript logical-reasoning problem-solving

juliolmuller / elevator-algorithm-
logical-reasoning,Frontend application in order to develop UI skills and implementation of the elevator's electronic mechanism.
User: juliolmuller
Home Page: https://elevator-algorithm.vercel.app/
animation css elevator frontend javascript logical-reasoning react typescript

kkteru / grail
logical-reasoning,Inductive relation prediction by subgraph reasoning, ICML'20
User: kkteru
graph-neural-networks knowledge-graphs logical-reasoning graph-representation-learning heterogeneous-graph heterogeneous-graph-neural-network inductive-learning

lars-research / rule-learning-expressivity
logical-reasoning,Understanding Expressivity of GNN in Rule Learning. ICLR 2024
Organization: lars-research
graph-neural-networks logical-reasoning

lhrlab / nqe
logical-reasoning,[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
User: lhrlab
Home Page: https://doi.org/10.1609/aaai.v37i4.25576
first-order-logic pytorch multi-hop-reasoning logical-reasoning transformer knowledge-graph hyper-relational fuzzy-logic query-embedding

lwardzala / business_rules_reasoning
logical-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.
User: lwardzala
ai horn-clauses inference llm llm-agent logical-reasoning reasoning reasoning-engine

malcodeman / logik
logical-reasoning,Platform for logical reasoning tests.
User: malcodeman
Home Page: https://logik.surge.sh
logical-reasoning logic

mihir3009 / gridpuzzle
logical-reasoning,An evaluation dataset comprising of 274 grid-based puzzles with different complexities
User: mihir3009
evaluation-metrics large-language-models llm-evaluation logical-reasoning reasoning

musty-ess / knights-and-knaves-logic-puzzle-solver-ai
logical-reasoning,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.
User: musty-ess
ai artificial-intelligence knowledge-representation logical-reasoning propositional-logic

mycodehari / 1208_major_project1_unmessanger
logical-reasoning,SQL scripts for modelling database and queries to get analytical insights
User: mycodehari
database kpi-indicator logical-reasoning sql

ongoing-knowledge-scraping / the-fizzbuzz-solution
logical-reasoning,The solution to the famous FizzBuzz game / question.
Organization: ongoing-knowledge-scraping
100daysofpython logical-reasoning modulo python

openspg / kag
logical-reasoning,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.
Organization: openspg
Home Page: https://spg.openkg.cn/en-US
knowledge-graph large-language-model logical-reasoning multi-hop-question-answering trustfulness

purplebird3 / sum_limit
logical-reasoning,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.
User: purplebird3
logical-reasoning math

reethuthota / count-the-triangles
logical-reasoning,
User: reethuthota
Home Page: https://reethuthota.github.io/count-the-triangles-exectuable/
game-dev game-development gdevelop5 logical-reasoning mental-math gdevelop

sameeravithana / fol_refutation_prover
logical-reasoning,Refutation Prover for FOL using First-Order Resolution
User: sameeravithana
first-order-logic logical-reasoning refutation-resolution resolution-proof

savinrazvan / knights
logical-reasoning,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.
User: savinrazvan
ai algorithmic-puzzles educational-project game-theory knights-and-knaves logic-puzzles logical-reasoning model-checking propositional-logic puzzle-solver

savinrazvan / minesweeper
logical-reasoning,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.
User: savinrazvan
ai algorithmic-puzzles educational-project game-ai logical-reasoning minesweeper propositional-logic puzzle-solver python knowledge-based-inference

shivam-saini-ss / guess-the-number
logical-reasoning,Please checkout the number guessing game by hitting the following URL. Have fun!
User: shivam-saini-ss
Home Page: https://the-number-guess-game.netlify.app/
arcade-game fun game logical-reasoning

shuddha2021 / interactive-sudoku-puzzle
logical-reasoning,Sharpen Your Mind with Interactive Sudoku: Logic Puzzles for Everyone
User: shuddha2021
Home Page: https://sudoku-peach.vercel.app
css educational entertainment html interactive-game javascript logical-reasoning problem-solving puzzle-game sudoku

sileod / nlp-verbal-probabilities-reasoning
logical-reasoning,Probing handling of verbal probabilities in NLP models
User: sileod
language-model llm natural-language nlp probabilities verbal wep verbal-probabilities classification dataset

strong-ai-lab / logical-and-abstract-reasoning
logical-reasoning,Evaluation on Logical Reasoning and Abstract Reasoning Challenges
Organization: strong-ai-lab
logical-reasoning abstract-reasoning large-language-models

strong-ai-lab / logical-equivalence-driven-amr-data-augmentation-for-representation-learning
logical-reasoning,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.
Organization: strong-ai-lab
Home Page: https://aclanthology.org/2024.findings-acl.353/
logical-equivalences logic-driven-data-augmentation contrastive-learning logical-reasoning

strong-ai-lab / logical-reasoning-reading-comprehension-reclor
logical-reasoning,The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
Organization: strong-ai-lab
logical-reasoning reading-comprehension legal-texts gmat lsat pretrained-language-model natural-language-inference transformer

tractables / logiccircuits.jl
logical-reasoning,Logic Circuits from the Juice library
Organization: tractables
Home Page: https://tractables.github.io/LogicCircuits.jl/dev/
logic logic-circuits logical-reasoning automated-reasoning julia

ussiamaboat / polytuplet-loss
logical-reasoning,A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
User: ussiamaboat
ai logical-reasoning reading-comprehension machine-learning nlp

vikas6543 / javascript_interview_questions
logical-reasoning,
User: vikas6543
javascript coding-challenges data-structures-and-algorithms interview interview-preparation interview-preparations logical-reasoning

xufangzhi / logiformer
logical-reasoning,[SIGIR 2022] The implementation of Logiformer
User: xufangzhi
question-answering logical-reasoning machine-reading-comprehension

zjunlp / prompt4reasoningpapers
logical-reasoning,[ACL 2023] Reasoning with Language Model Prompting: A Survey
Organization: zjunlp
prompt reasoning awsome-list chain-of-thought paper-list survey nlp datasets language-models natural-language-processing