logical reasoning

Reasoning with Graphs: Structuring Implicit Knowledge to Enhance LLMs Reasoning ACL 2025 Relation Logical Reasoning and Relation-aware Entity Encoding for Temporal Knowledge Graph Reasoning COLING 2025 Reversal of Thought: Enhancing Large Language Models with Preference-Guided Reverse Reasoning Warm-up ACL 2025 RMath: A Logic Reasoning-Focused Datasets Toward Mathematical Multistep Reasoning Tasks AAAI 2025 Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning NAACL 2025 RuleArena: A Benchmark for Rule-Guided Reasoning with LLMs in Real-World Scenarios ACL 2025 SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas EMNLP 2025 Self-Training Meets Consistency: Improving LLMs’ Reasoning with Consistency-Driven Rationale Evaluation NAACL 2025 Semantic Inversion, Identical Replies: Revisiting Negation Blindness in Large Language Models EMNLP 2025 seqBench: A Tunable Benchmark to Quantify Sequential Reasoning Limits of LLMs EMNLP 2025 Structured Knowledge meets GenAI: A Framework for Logic-Driven Language Models COLING 2025 Structured Outputs in Prompt Engineering: Enhancing LLM Adaptability on Counterintuitive Instructions AACL 2025 There’s No Such Thing as Simple Reasoning for LLMs ACL 2025 Thought-Path Contrastive Learning via Premise-Oriented Data Augmentation for Logical Reading Comprehension AAAI 2025 TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Games EMNLP 2025 Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems ACL 2025 Unveiling the Magic of Code Reasoning through Hypothesis Decomposition and Amendment ICLR 2025 ZebraLogic: On the Scaling Limits of LLMs for Logical Reasoning ICML 2025 Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning ACL 2024 A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning NAACL 2024 A Peek into Token Bias: Large Language Models Are Not Yet Genuine Reasoners EMNLP 2024 Assessing Logical Puzzle Solving in Large Language Models: Insights from a Minesweeper Case Study NAACL 2024 Beta-LR: Interpretable Logical Reasoning based on Beta Distribution NAACL 2024 Bi-Chainer: Automated Large Language Models Reasoning with Bidirectional Chaining ACL 2024 Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs ACL 2024