symbolic reasoning

Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021 Differentiable Inductive Logic Programming for Structured Examples AAAI 2021 Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021 KRISP: Integrating Implicit and Symbolic Knowledge for Open-Domain Knowledge-Based VQA CVPR 2021 Learning by Fixing: Solving Math Word Problems with Weak Supervision AAAI 2021 Learning Task-General Representations with Generative Neuro-Symbolic Modeling ICLR 2021 Leveraging the Inductive Bias of Large Language Models for Abstract Textual Reasoning NeurIPS 2021 Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification EMNLP 2021 NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning ACL 2021 Neural Sequence-to-grid Module for Learning Symbolic Rules AAAI 2021 Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021 Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021 SILG: The Multi-domain Symbolic Interactive Language Grounding Benchmark NeurIPS 2021 TAT-QA: A Question Answering Benchmark on a Hybrid of Tabular and Textual Content in Finance ACL 2021 Are Pretrained Language Models Symbolic Reasoners over Knowledge? CoNLL 2020 A Survey on Temporal Reasoning for Temporal Information Extraction from Text (Extended Abstract) IJCAI 2020 Closed Loop Neural-Symbolic Learning via Integrating Neural Perception, Grammar Parsing, and Symbolic Reasoning ICML 2020 Generating Programmatic Referring Expressions via Program Synthesis ICML 2020 Hy-NLI: a Hybrid system for Natural Language Inference COLING 2020 IKBT: Solving Symbolic Inverse Kinematics with Behavior Tree (Extended Abstract) IJCAI 2020 Implementing Theory of Mind on a Robot Using Dynamic Epistemic Logic IJCAI 2020 Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020 Learning to Prove Theorems by Learning to Generate Theorems NeurIPS 2020 Learn to Combine Linguistic and Symbolic Information for Table-based Fact Verification COLING 2020 LogicalFactChecker: Leveraging Logical Operations for Fact Checking with Graph Module Network ACL 2020