Refutation Prover for FOL using First-Order Resolution
-
Updated
Nov 12, 2018 - Python
Refutation Prover for FOL using First-Order Resolution
My first SMT solver (only QF_UF)
MVP built with React for fictitious company to help with daily arithmetic calculations.
Programmatic solution to the Einstein problem
The source code for #5 in the Logical Reasoning Reading Comprehension Leaderboard `ReClor`.
Recent Papers including Neural Symbolic Reasoning, Logical Reasoning, Visual Reasoning, planning and any other topics connecting deep learning and reasoning
Please checkout the number guessing game by hitting the following URL. Have fun!
Frontend application in order to develop UI skills and implementation of the elevator's electronic mechanism.
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.
The solution to the famous FizzBuzz game / question.
Dynamic generation of robot behaviors in the RoboCup SPL setting from LTL or PDDL + PLTLf rules (Published in RoboCup 2022 Symposium)
A Reverse Approach to Training Reading Comprehension and Logical Reasoning Models
ICML 23': Answering Complex Logical Queries on Knowledge Graphs via Query Computation Tree Optimization
Repo for paper "IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning" accepted to the Findings of ACL 2023
[NeurIPS2023] LoRA: A Logical Reasoning Augmented Dataset for Visual Question Answering
[SIGIR 2022] The implementation of Logiformer
Evaluation on Logical Reasoning and Abstract Reasoning Challenges
Understanding Expressivity of GNN in Rule Learning. ICLR 2024
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."