Reasoning

FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 GraphReason: Enhancing Reasoning Capabilities of Large Language Models through A Graph-Based Verification Approach ACL 2024 How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad NeurIPS 2024 Liar, Liar, Logical Mire: A Benchmark for Suppositional Reasoning in Large Language Models EMNLP 2024 Mathador-LM: A Dynamic Benchmark for Mathematical Reasoning on Large Language Models EMNLP 2024 Narrative-of-Thought: Improving Temporal Reasoning of Large Language Models via Recounted Narratives EMNLP 2024 Prove Your Point!: Bringing Proof-Enhancement Principles to Argumentative Essay Generation EMNLP 2024 SemCoder: Training Code Language Models with Comprehensive Semantics Reasoning NeurIPS 2024 Structure Guided Prompt: Instructing Large Language Model in Multi-Step Reasoning by Exploring Graph Structure of the Text EMNLP 2024 TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning EMNLP 2024 Verifiable, Debuggable, and Repairable Commonsense Logical Reasoning via LLM-based Theory Resolution EMNLP 2024 CReTIHC: Designing Causal Reasoning Tasks about Temporal Interventions and Hallucinated Confoundings EMNLP 2023 Distilling Reasoning Capabilities into Smaller Language Models ACL 2023 Exploring the Numerical Reasoning Capabilities of Language Models: A Comprehensive Analysis on Tabular Data EMNLP 2023 Exposing Attention Glitches with Flip-Flop Language Modeling NeurIPS 2023 GRACE: Discriminator-Guided Chain-of-Thought Reasoning EMNLP 2023 Gradually Excavating External Knowledge for Implicit Complex Question Answering EMNLP 2023 IDOL: Indicator-oriented Logic Pre-training for Logical Reasoning ACL 2023 Knowledge-Bridged Causal Interaction Network for Causal Emotion Entailment AAAI 2023 Limitations of Language Models in Arithmetic and Symbolic Induction ACL 2023 Logical Satisfiability of Counterfactuals for Faithful Explanations in NLI AAAI 2023 Measuring and Narrowing the Compositionality Gap in Language Models EMNLP 2023 PragmatiCQA: A Dataset for Pragmatic Question Answering in Conversations ACL 2023 Revisiting Commonsense Reasoning in Machine Translation: Training, Evaluation and Challenge ACL 2023 Self-Supervised Logic Induction for Explainable Fuzzy Temporal Commonsense Reasoning AAAI 2023