Reasoning

Exploring Mathematical Extrapolation of Large Language Models with Synthetic Data ACL 2024 Exploring the Compositional Deficiency of Large Language Models in Mathematical Reasoning Through Trap Problems EMNLP 2024 Exploring the Limits of Fine-grained LLM-based Physics Inference via Premise Removal Interventions EMNLP 2024 Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models EMNLP 2024 Faithful Logical Reasoning via Symbolic Chain-of-Thought ACL 2024 Federated Neuro-Symbolic Learning ICML 2024 Feedback control guides credit assignment in recurrent neural networks NeurIPS 2024 FinanceMATH: Knowledge-Intensive Math Reasoning in Finance Domains ACL 2024 Fine-Grained Modeling of Narrative Context: A Coherence Perspective via Retrospective Questions ACL 2024 First Heuristic Then Rational: Dynamic Use of Heuristics in Language Model Reasoning EMNLP 2024 Flee the Flaw: Annotating the Underlying Logic of Fallacious Arguments Through Templates and Slot-filling EMNLP 2024 Focused Large Language Models are Stable Many-Shot Learners EMNLP 2024 Focus on Your Question! Interpreting and Mitigating Toxic CoT Problems in Commonsense Reasoning ACL 2024 FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024 Follow the Rules: Reasoning for Video Anomaly Detection with Large Language Models ECCV 2024 Formal Argumentation in Symbolic AI IJCAI 2024 Fortify the Shortest Stave in Attention: Enhancing Context Awareness of Large Language Models for Effective Tool Use ACL 2024 Forward-Backward Reasoning in Large Language Models for Mathematical Verification ACL 2024 FRoG: Evaluating Fuzzy Reasoning of Generalized Quantifiers in LLMs EMNLP 2024 From Generation to Selection: Findings of Converting Analogical Problem-Solving into Multiple-Choice Questions EMNLP 2024 From Good to Great: Improving Math Reasoning with Tool-Augmented Interleaf Prompting ACL 2024 From Statistical Relational to Neuro-Symbolic Artificial Intelligence AAAI 2024 From the Least to the Most: Building a Plug-and-Play Visual Reasoner via Data Synthesis EMNLP 2024 Frugal LMs Trained to Invoke Symbolic Solvers Achieve Parameter-Efficient Arithmetic Reasoning AAAI 2024 FRVA: Fact-Retrieval and Verification Augmented Entailment Tree Generation for Explainable Question Answering ACL 2024