natural language reasoning

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026 Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective ACL 2025 DIAMOND: An LLM-Driven Agent for Context-Aware Baseball Highlight Summarization ACL 2025 How Ambiguous Are the Rationales for Natural Language Reasoning? A Simple Approach to Handling Rationale Uncertainty COLING 2025 Hypothetical Minds: Scaffolding Theory of Mind for Multi-Agent Tasks with Large Language Models ICLR 2025 Identification of Multiple Logical Interpretations in Counter-Arguments EMNLP 2025 Natural Language Reasoning in Large Language Models: Analysis and Evaluation ACL 2025 NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging EMNLP 2025 QualiSpeech: A Speech Quality Assessment Dataset with Natural Language Reasoning and Descriptions ACL 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025 To Code or Not To Code? Exploring Impact of Code in Pre-training ICLR 2025 ARIES: A Corpus of Scientific Paper Edits Made in Response to Peer Reviews ACL 2024 A Usage-centric Take on Intent Understanding in E-Commerce EMNLP 2024 Boosting Logical Fallacy Reasoning in LLMs via Logical Structure Tree EMNLP 2024 FOLIO: Natural Language Reasoning with First-Order Logic EMNLP 2024 Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models ACL 2024 ReConcile: Round-Table Conference Improves Reasoning via Consensus among Diverse LLMs ACL 2024 BoardgameQA: A Dataset for Natural Language Reasoning with Contradictory Information NeurIPS 2023 Reasoning about Ambiguous Definite Descriptions EMNLP 2023 STREET: A MULTI-TASK STRUCTURED REASONING AND EXPLANATION BENCHMARK ICLR 2023 Can Transformers Reason in Fragments of Natural Language? EMNLP 2022 Generating Natural Language Proofs with Verifier-Guided Search EMNLP 2022 Cross-Modality Relevance for Reasoning on Language and Vision ACL 2020 Learning Directional Sentence-Pair Embedding for Natural Language Reasoning (Student Abstract) AAAI 2020 Probing Neural Network Comprehension of Natural Language Arguments ACL 2019