← Keywords

symbolic reasoning

184 papers

Explore in graph

Also known as

FOL

Co-occurring keywords

large language model (12755) neural network (6616) logical reasoning (298) knowledge graph (1795) knowledge representation (298) first-order logic (168) semantic parsing (955) knowledge base (801) in-context learning (1369) natural language understanding (845)

Papers

Hy-NLI: a Hybrid system for Natural Language Inference COLING 2020
Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification COLING 2020
Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic IJCAI 2020
Learning to Prove Theorems by Learning to Generate Theorems NIPS 2020
Neuro-Symbolic Program Search for Autonomous Driving Decision Module Design CORL 2020
Are Pretrained Language Models Symbolic Reasoners over Knowledge? EMNLP 2020
Table Fact Verification with Structure-Aware Transformer EMNLP 2020
Are Pretrained Language Models Symbolic Reasoners over Knowledge? CONLL 2020
Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning ICML 2020
LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network ACL 2020
A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020
IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020
Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020
Learning Hierarchical Symbolic Representations to Support Interactive Task Learning and Knowledge Transfer IJCAI 2019
SemEval-2019 Task 10: Math Question Answering SEMEVAL 2019
EQUATE: A Benchmark Evaluation Framework for Quantitative Reasoning in Natural Language Inference CONLL 2019
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration IJCAI 2019
Semantically-Aligned Equation Generation for Solving and Reasoning Math Word Problems NAACL 2019
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from Text IJCNLP 2019
Deep Learning with Relational Logic Representations IJCAI 2019
How Well Do Machines Perform on IQ tests: a Comparison Study on a Large-Scale Dataset IJCAI 2019
Bridging Machine Learning and Logical Reasoning by Abductive Learning NIPS 2019
Hintikka's World: Scalable Higher-order Knowledge IJCAI 2019
Step-by-Step: Separating Planning from Realization in Neural Data-to-Text Generation NAACL 2019
AiFu at SemEval-2019 Task 10: A Symbolic and Sub-symbolic Integrated System for SAT Math Question Answering SEMEVAL 2019