{"total":27,"rows":[{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2402.11291","title":"Puzzle Solving using Reasoning of Large Language Models: A Survey","created":"2024-02-17","cited_by_count":45,"area":"lr"},{"id":"2501.11223","title":"Reasoning Language Models: A Blueprint","created":"2025-01-20","cited_by_count":42,"area":"lr"},{"id":"2406.17169","title":"Multi-LogiEval: Towards Evaluating Multi-Step Logical Reasoning Ability of Large Language Models","created":"2024-06-24","cited_by_count":39,"area":"lr"},{"id":"2505.14615","title":"SATBench: Benchmarking LLMs' Logical Reasoning via Automated Puzzle Generation from SAT Formulas","created":"2025-05-20","cited_by_count":33,"area":"lr"},{"id":"2502.16906","title":"AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models","created":"2025-02-24","cited_by_count":31,"area":"lr"},{"id":"2506.04810","title":"Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study","created":"2025-06-05","cited_by_count":17,"area":"lr"},{"id":"2410.09207","title":"P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains","created":"2024-10-11","cited_by_count":15,"area":"lr"},{"id":"2411.04105","title":"A Implies B: Circuit Analysis in LLMs for Propositional Logical Reasoning","created":"2024-11-06","cited_by_count":15,"area":"lr"},{"id":"2510.12563","title":"HardcoreLogic: Challenging Large Reasoning Models with Long-tail Logic Puzzle Games","created":"2025-10-14","cited_by_count":7,"area":"lr"},{"id":"2506.15787","title":"SLR: Automated Synthesis for Scalable Logical Reasoning","created":"2025-06-18","cited_by_count":6,"area":"lr"},{"id":"2604.08016","title":"Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs","created":"2026-04-09","cited_by_count":5,"area":"lr"},{"id":"2406.04046","title":"ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints","created":"2024-06-06","cited_by_count":4,"area":"lr"},{"id":"2410.12997","title":"\"Let's Argue Both Sides\": Argument Generation Can Force Small Models to Utilize Previously Inaccessible Reasoning Capabilities","created":"2024-10-16","cited_by_count":4,"area":"lr"},{"id":"2505.15712","title":"TurnaboutLLM: A Deductive Reasoning Benchmark from Detective Games","created":"2025-05-21","cited_by_count":4,"area":"lr"},{"id":"2509.16590","title":"Question Answering with LLMs and Learning from Answer Sets","created":"2025-09-20","cited_by_count":4,"area":"lr"},{"id":"2505.00001","title":"Rosetta-PL: Propositional Logic as a Benchmark for Large Language Model Reasoning","created":"2025-03-25","cited_by_count":2,"area":"lr"},{"id":"2510.11031","title":"LogiNumSynth: Synthesizing Joint Logical-Numerical Reasoning Problems for Language Models","created":"2025-10-13","cited_by_count":2,"area":"lr"},{"id":"2410.01952","title":"TypedThinker: Diversify Large Language Model Reasoning with Typed Thinking","created":"2024-10-02","cited_by_count":1,"area":"lr"},{"id":"2504.20771","title":"Computational Reasoning of Large Language Models","created":"2025-04-29","cited_by_count":1,"area":"lr"},{"id":"2602.13218","title":"Scaling the Scaling Logic: Agentic Meta-Synthesis of Logic Reasoning","created":"2026-01-23","cited_by_count":1,"area":"lr"},{"id":"2605.06444","title":"SCRuB: Social Concept Reasoning under Rubric-Based Evaluation","created":"2026-05-07","cited_by_count":1,"area":"lr"},{"id":"2502.19907","title":"Order Doesn't Matter, But Reasoning Does: Training LLMs with Order-Centric Augmentation","created":"2025-02-27","cited_by_count":0,"area":"lr"},{"id":"2510.22978","title":"Reasoning About Reasoning: Towards Informed and Reflective Use of LLM Reasoning in HCI","created":"2025-10-27","cited_by_count":0,"area":"lr"},{"id":"2512.10561","title":"Causal Reasoning Favors Encoders: On The Limits of Decoder-Only Models","created":"2025-12-11","cited_by_count":0,"area":"lr"},{"id":"2601.10101","title":"Matrix as Plan: Structured Logical Reasoning with Feedback-Driven Replanning","created":"2026-01-15","cited_by_count":0,"area":"lr"},{"id":"2605.23965","title":"LGMT: Logic-Grounded Metamorphic Testing for Evaluating the Reasoning Reliability of LLMs","created":"2026-05-12","cited_by_count":0,"area":"lr"}],"next_cursor":null}