{"total":29,"rows":[{"id":"2502.15652","title":"Empowering LLMs with Logical Reasoning: A Comprehensive Survey","created":"2025-02-21","cited_by_count":51,"area":"lr"},{"id":"2509.24765","title":"Semantic-Aware Logical Reasoning via a Semiotic Framework","created":"2025-09-29","cited_by_count":32,"area":"lr"},{"id":"2505.15801","title":"VerifyBench: Benchmarking Reference-based Reward Systems for Large Language Models","created":"2025-05-21","cited_by_count":20,"area":"lr"},{"id":"2505.22113","title":"THINK-Bench: Evaluating Thinking Efficiency and Chain-of-Thought Quality of Large Reasoning Models","created":"2025-05-28","cited_by_count":19,"area":"lr"},{"id":"2407.14790","title":"Step-by-Step Reasoning to Solve Grid Puzzles: Where do LLMs Falter?","created":"2024-07-20","cited_by_count":18,"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":"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":"2506.01341","title":"TurnBench-MS: A Benchmark for Evaluating Multi-Turn, Multi-Step Reasoning in Large Language Models","created":"2025-06-02","cited_by_count":13,"area":"lr"},{"id":"2504.14520","title":"Meta-Thinking in LLMs via Multi-Agent Reinforcement Learning: A Survey","created":"2025-04-20","cited_by_count":10,"area":"lr"},{"id":"2502.05675","title":"Investigating the Shortcomings of LLMs in Step-by-Step Legal Reasoning","created":"2025-02-08","cited_by_count":9,"area":"lr"},{"id":"2509.25851","title":"MuSLR: Multimodal Symbolic Logical Reasoning","created":"2025-09-30","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":"2512.18196","title":"LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision","created":"2025-12-20","cited_by_count":6,"area":"lr"},{"id":"2511.09222","title":"Toward Honest Language Models for Deductive Reasoning","created":"2025-11-12","cited_by_count":3,"area":"lr"},{"id":"2410.08437","title":"Autonomous Evaluation of LLMs for Truth Maintenance and Reasoning Tasks","created":"2024-10-11","cited_by_count":2,"area":"lr"},{"id":"2506.10527","title":"LogiPlan: A Structured Benchmark for Logical Planning and Relational Reasoning in LLMs","created":"2025-06-12","cited_by_count":2,"area":"lr"},{"id":"2509.01619","title":"Throttling Web Agents Using Reasoning Gates","created":"2025-09-01","cited_by_count":2,"area":"lr"},{"id":"2608.22753","title":"Beyond Factual Knowledge: Benchmarking and Learning Step-Level Procedural Rule Reasoning in Large Language Models","created":"2026-08-24","cited_by_count":2,"area":"lr"},{"id":"2504.20771","title":"Computational Reasoning of Large Language Models","created":"2025-04-29","cited_by_count":1,"area":"lr"},{"id":"2508.13718","title":"Generics and Default Reasoning in Large Language Models","created":"2025-08-19","cited_by_count":1,"area":"lr"},{"id":"2510.17868","title":"UniCode: Augmenting Evaluation for Code Reasoning","created":"2025-10-16","cited_by_count":1,"area":"lr"},{"id":"2603.17169","title":"How Clued up are LLMs? Evaluating Multi-Step Deductive Reasoning in a Text-Based Game Environment","created":"2026-03-17","cited_by_count":1,"area":"lr"},{"id":"2609.02438","title":"When Decodability Is Not Enough: Logical Validity Representations, Behavioral Dissociation, and Causal Tests in Language Models","created":"2026-09-02","cited_by_count":1,"area":"lr"},{"id":"2507.23170","title":"BAR Conjecture: the Feasibility of Inference Budget-Constrained LLM Services with Authenticity and Reasoning","created":"2025-07-31","cited_by_count":0,"area":"lr"},{"id":"2511.20680","title":"Cognitive bias in LLM reasoning compromises interpretation of clinical oncology notes","created":"2025-11-16","cited_by_count":0,"area":"lr"},{"id":"2607.14349","title":"HABIB_TAZ at SemEval-2026 Task 11: Disentangling Formal Logic from Content via Synthetic Training and Multi-Objective Optimization","created":"2026-07-15","cited_by_count":0,"area":"lr"},{"id":"2607.23055","title":"SymStep: Symbolic Step Verification for Logical Reasoning","created":"2026-07-25","cited_by_count":0,"area":"lr"},{"id":"2608.26832","title":"RuleWeaver: Benchmarking Rule-Centered Scenario Reasoning for Large Language Models","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.18736","title":"Clueing up LLMs with Tool-Augmented Deductive Reasoning","created":"2026-09-16","cited_by_count":0,"area":"lr"}],"next_cursor":null}