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

Inference and Learning with Model Uncertainty in Probabilistic Logic Programs AAAI 2022

TAT-QA: A Question Answering Benchmark on a Hybrid of Tabular and Textual Content in Finance ACL 2021

Abstract Spatial-Temporal Reasoning via Probabilistic Abduction and Execution CVPR 2021

An Automated Engineering Assistant: Learning Parsers for Technical Drawings AAAI 2021

Aligning Artificial Neural Networks and Ontologies towards Explainable AI AAAI 2021

Contrastive Reinforcement Learning of Symbolic Reasoning Domains NIPS 2021

Leveraging the Inductive Bias of Large Language Models for Abstract Textual Reasoning NIPS 2021

SILG: The Multi-domain Symbolic Interactive Language Grounding Benchmark NIPS 2021

Abductive Knowledge Induction from Raw Data IJCAI 2021

Abductive Learning with Ground Knowledge Base IJCAI 2021

Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021

KRISP: Integrating Implicit and Symbolic Knowledge for Open-Domain Knowledge-Based VQA CVPR 2021

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning IJCNLP 2021

NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning IJCNLP 2021

TAT-QA: A Question Answering Benchmark on a Hybrid of Tabular and Textual Content in Finance IJCNLP 2021

Neural-Symbolic Solver for Math Word Problems with Auxiliary Tasks ACL 2021

Differentiable Inductive Logic Programming for Structured Examples AAAI 2021

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021

Learning by Fixing: Solving Math Word Problems with Weak Supervision AAAI 2021

Neural Sequence-to-grid Module for Learning Symbolic Rules AAAI 2021

Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning ACL 2021

NeuralLog: Natural Language Inference with Joint Neural and Logical Reasoning ACL 2021

Logic-level Evidence Retrieval and Graph-based Verification Network for Table-based Fact Verification EMNLP 2021

Generating Programmatic Referring Expressions via Program Synthesis ICML 2020

NeurASP: Embracing Neural Networks into Answer Set Programming IJCAI 2020