[ACL 2023] Reasoning with Language Model Prompting: A Survey
-
Updated
Mar 13, 2024
[ACL 2023] Reasoning with Language Model Prompting: A Survey
Inductive relation prediction by subgraph reasoning, ICML'20
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
Evaluation on Logical Reasoning and Abstract Reasoning Challenges
ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
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
Refutation Prover for FOL using First-Order Resolution
The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
[SIGIR 2022] The implementation of Logiformer
[AAAI 2023] Official resources of "NQE: N-ary Query Embedding for Complex Query Answering over Hyper-relational Knowledge Graphs".
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.
A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
[NeurIPS2023] LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering
Understanding Expressivity of GNN in Rule Learning. ICLR 2024
Programmatic solution to the Einstein problem
This repository contains my solutions to various problems proposed in Hackerrank.
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.
Repositório criado para registrar as questões criadas por mim para a monitoria de introdução a programação.
Add a description, image, and links to the logical-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the logical-reasoning topic, visit your repo's landing page and select "manage topics."