symbolic reasoning

SymKGQA: Few-Shot Knowledge Graph Question Answering via Symbolic Program Generation and Execution ACL 2024 To the Globe (TTG): Towards Language-Driven Guaranteed Travel Planning EMNLP 2024 Towards Supporting Legal Argumentation with NLP: Is More Data Really All You Need? EMNLP 2024 Where We Have Arrived in Proving the Emergence of Sparse Interaction Primitives in DNNs ICLR 2024 Analyzing Modular Approaches for Visual Question Decomposition EMNLP 2023 A-NeSI: A Scalable Approximate Method for Probabilistic Neurosymbolic Inference NeurIPS 2023 Binding Language Models in Symbolic Languages ICLR 2023 Can Graph Neural Networks Learn to Solve the MaxSAT Problem? (Student Abstract) AAAI 2023 Connecting Symbolic Statutory Reasoning with Legal Information Extraction EMNLP 2023 Decomposed Prompting: A Modular Approach for Solving Complex Tasks ICLR 2023 Defining and Quantifying the Emergence of Sparse Concepts in DNNs CVPR 2023 Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning EMNLP 2023 Do Deep Neural Networks Capture Compositionality in Arithmetic Reasoning? EACL 2023 FOLL-E: Teaching First Order Logic to Children AAAI 2023 GeoDRL: A Self-Learning Framework for Geometry Problem Solving using Reinforcement Learning in Deductive Reasoning ACL 2023 Grounding Neural Inference with Satisfiability Modulo Theories NeurIPS 2023 Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming ACL 2023 Learning by Applying: A General Framework for Mathematical Reasoning via Enhancing Explicit Knowledge Learning AAAI 2023 Limitations of Language Models in Arithmetic and Symbolic Induction ACL 2023 LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023 Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation ICCV 2023 LogicSeg: Parsing Visual Semantics with Neural Logic Learning and Reasoning ICCV 2023 Multi-modal Action Chain Abductive Reasoning ACL 2023 NeuPSL: Neural Probabilistic Soft Logic IJCAI 2023 PAL: Program-aided Language Models ICML 2023