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

Connecting Symbolic Statutory Reasoning with Legal Information Extraction EMNLP 2023

Multi-modal Action Chain Abductive Reasoning ACL 2023

Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning EMNLP 2023

A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NIPS 2023

FOLL-E: Teaching First Order Logic to Children AAAI 2023

Defining and Quantifying the Emergence of Sparse Concepts in DNNs CVPR 2023

Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation ICCV 2023

Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) AAAI 2023

Grounding Neural Inference with Satisfiability Modulo Theories NIPS 2023

LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning ICCV 2023

Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning AAAI 2023

A Solver-free Framework for Scalable Learning in Neural ILP Architectures NIPS 2022

Towards Unified Representations of Knowledge Graph and Expert Rules for Machine Learning and Reasoning IJCNLP 2022

Improving Entity Disambiguation by Reasoning over a Knowledge Base NAACL 2022

Interactive Symbol Grounding with Complex Referential Expressions NAACL 2022

OPERA: Operation-Pivoted Discrete Reasoning over Text NAACL 2022

A Hierarchical Bayesian Approach to Inverse Reinforcement Learning with Symbolic Reward Machines ICML 2022

Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations AAAI 2022

MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving NAACL 2022

Deep Learning with Logical Constraints IJCAI 2022

HiTab: A Hierarchical Table Dataset for Question Answering and Natural Language Generation ACL 2022

Sketching a Linguistically-Driven Reasoning Dialog Model for Social Talk ACL 2022

Symbols as a Lingua Franca for Bridging Human-AI Chasm for Explainable and Advisable AI Systems AAAI 2022

MultiHiertt: Numerical Reasoning over Multi Hierarchical Tabular and Textual Data ACL 2022

Hands-On Interactive Neuro-Symbolic NLP with DRaiL EMNLP 2022