logical-reasoning

There are 2 repositories under logical-reasoning topic.

• zjunlp / Prompt4ReasoningPapers

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

  promptreasoningawsome-listchain-of-thoughtpaper-listsurveynlpdatasetslanguage-modelsnatural-language-processinglarge-language-modelsartificial-intelligencearithmetic-reasoningcommonsense-reasoningsymbolic-reasoningprompt-engineeringlogical-reasoningllmchatgptgpt-3
  808

• floodsung / Deep-Reasoning-Papers

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

  neural-symbolic-reasoninglogical-reasoningvisual-reasoningplanningphysical-reasoningmodularity
  293

• kkteru / grail

  Inductive relation prediction by subgraph reasoning, ICML'20

  graph-neural-networksknowledge-graphslogical-reasoninggraph-representation-learningheterogeneous-graphheterogeneous-graph-neural-networkinductive-learning
  Language:Python 201
• LogicCircuits.jl

  Tractables / LogicCircuits.jl

  Logic Circuits from the Juice library

  logiclogic-circuitslogical-reasoningautomated-reasoningjulia
  Language:Julia 49

• GeekDream-x / IDOL

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

  acl2023logical-reasoningmachine-reading-comprehensionnatural-language-processing
  Language:Python 25

• xufangzhi / Logiformer

  [SIGIR 2022] The implementation of Logiformer

  question-answeringlogical-reasoningmachine-reading-comprehension
  Language:Python 23

• bys0318 / QTO

  ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization

  knowledge-graphlogical-reasoningsymbolic-reasoning
  Language:Python 21

• LHRLAB / NQE

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

  first-order-logicpytorchmulti-hop-reasoninglogical-reasoningtransformerknowledge-graphhyper-relationalfuzzy-logicquery-embedding
  Language:Python 19

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

  Evaluation on Logical Reasoning and Abstract Reasoning Challenges

  logical-reasoningabstract-reasoninglarge-language-models
  Language:Python 16

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

  The source code for Contrastive Learning with Logic-driven Data Augmentation for Logical Reasoning over Text. #1 on the ReClor Leaderboard and we are the first group scored above 90% on the hidden test set around the world..

  logical-equivalenceslogic-driven-data-augmentationcontrastive-learninglogical-reasoning
  Language:Python 11

• LARS-research / Rule-learning-expressivity

  Understanding Expressivity of GNN in Rule Learning. ICLR 2024

  graph-neural-networkslogical-reasoning
  Language:Python 8

• CarolineGao / LoRA-Dataset

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

  logical-reasoninglvmmultimodalvqa
  Language:Jupyter Notebook 7

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

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

  logical-reasoningreading-comprehensionlegal-textsgmatlsatpretrained-language-modelnatural-language-inferencetransformer
  Language:Python 4

• USSiamaboat / polytuplet-loss

  A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models

  ailogical-reasoningnlp-machine-learningreading-comprehensionresearch
  Language:Python 3

• alibiohenrique / java-backend-roadmap

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

  javalogical-reasoningspring-boot
  1

• 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.

  logical-reasoningmath
  Language:C++ 1
• RoboCup-Coach

  EmanueleMusumeci / RoboCup-Coach

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

  artificial-intelligencehuman-robot-interactionlogical-reasoningplanningrobocuprobocup-splrobotics
  Language:C++ 1

• itnef / smtx

  My first SMT solver (only QF_UF)

  learning-by-doingsmt-solverbackjumpingcnftseitin-transformationlogic-programmingsat-solversat-solvingsatisfiability-modulo-theorieslogical-reasoningdpllcdclcdcl-tcongruence-closureqf-ufdiy-smt
  Language:Haskell 1

• johnsonsirv / mvp-react-calculator

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

  daily-arithmetic-calculationsdatastructureslogical-reasoningmvpreact
  Language:JavaScript 1
• The-FizzBuzz-Solution

  Ongoing-Knowledge-Scraping / The-FizzBuzz-Solution

  The solution to the famous FizzBuzz game / question.

  100daysofpythonlogical-reasoningmodulopython
  Language:Python 1

• sameeravithana / FOL_Refutation_Prover

  Refutation Prover for FOL using First-Order Resolution

  first-order-logiclogical-reasoningrefutation-resolutionresolution-proof
  Language:Python 1

• reethuthota / count-the-triangles

  game-devgame-developmentgdevelop5logical-reasoningmental-mathgdevelop
  Language:JavaScript 0

• Vikas6543 / JavaScript_Interview_Questions

  javascriptcoding-challengesdata-structures-and-algorithmsinterviewinterview-preparationinterview-preparationslogical-reasoning
  Language:JavaScript 0

• aurasphere / einstein-problem

  Programmatic solution to the Einstein problem

  einstein-problemzebra-puzzlebrute-forcecombinatoricslogical-reasoningalgorithms
  Language:Java

• judithsanchez / hackerrank-problem-solving

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

  javascriptlogical-reasoningproblem-solving
  Language:JavaScript

• juliolmuller / elevator-algorithm-

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

  animationcsselevatorfrontendjavascriptlogical-reasoningreacttypescript
  Language:TypeScript

• malcodeman / logik

  Platform for logical reasoning tests.

  logical-reasoninglogic
  Language:TypeScript

• Shivam-Saini-SS / guess-the-number

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

  arcade-gamefungamelogical-reasoning
  Language:CSS

• sushmaakoju / research-experience

  Research experience

  conversationalaiknowledge-representation-reasoningllmslogical-neural-networkslogical-reasoningmachine-consciousnessmarkov-logic-networkprobabilistic-programmingproofstheorem-provingtheory-of-computationverificationxor-problemvisualizing-language-learning-in-language-models