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

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

Inductive relation prediction by subgraph reasoning, ICML'20

Logic Circuits from the Juice library

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

[SIGIR 2022] The implementation of Logiformer

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

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

Evaluation on Logical Reasoning and Abstract Reasoning Challenges

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.

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

Understanding Expressivity of GNN in Rule Learning. ICLR 2024

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

A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models

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

The solution to the famous FizzBuzz game / question.

Refutation Prover for FOL using First-Order Resolution

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

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.

My first SMT solver (only QF_UF)