symbolic reasoning

A Unified LLM-KG Framework to Assist Fact-Checking in Public Deliberation COLING 2024 A Walsh Hadamard Derived Linear Vector Symbolic Architecture NeurIPS 2024 CHRONOS: A Schema-Based Event Understanding and Prediction System AAAI 2024 ConstraintChecker: A Plugin for Large Language Models to Reason on Commonsense Knowledge Bases EACL 2024 Deciphering Raw Data in Neuro-Symbolic Learning with Provable Guarantees AAAI 2024 Deciphering the Factors Influencing the Efficacy of Chain-of-Thought: Probability, Memorization, and Noisy Reasoning EMNLP 2024 Enhancing Ethical Explanations of Large Language Models through Iterative Symbolic Refinement EACL 2024 Enhancing Large Language Models through Transforming Reasoning Problems into Classification Tasks COLING 2024 Evaluating Step-by-Step Reasoning through Symbolic Verification NAACL 2024 Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 2024 From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024 Large Language Models Are Neurosymbolic Reasoners AAAI 2024 LOGIC-LM++: Multi-Step Refinement for Symbolic Formulations ACL 2024 Mastering Symbolic Operations: Augmenting Language Models with Compiled Neural Networks ICLR 2024 MATHSENSEI: A Tool-Augmented Large Language Model for Mathematical Reasoning NAACL 2024 Meta-Reasoning: Semantics-Symbol Deconstruction for Large Language Models ACL 2024 Natural Language Embedded Programs for Hybrid Language Symbolic Reasoning NAACL 2024 NormTab: Improving Symbolic Reasoning in LLMs Through Tabular Data Normalization EMNLP 2024 PREGO: Online Mistake Detection in PRocedural EGOcentric Videos CVPR 2024 Prompt-fused Framework for Inductive Logical Query Answering COLING 2024 RENN: A Rule Embedding Enhanced Neural Network Framework for Temporal Knowledge Graph Completion COLING 2024 Rethinking Tabular Data Understanding with Large Language Models NAACL 2024 Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration with Provable Guarantees AAAI 2024 Symbolic Reasoning Methods for AI Planning AAAI 2024 Symbolic Working Memory Enhances Language Models for Complex Rule Application EMNLP 2024