{"total":60,"rows":[{"id":"2409.12183","title":"To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning","created":"2024-09-18","cited_by_count":263,"area":"lr"},{"id":"2505.15134","title":"The Unreasonable Effectiveness of Entropy Minimization in LLM Reasoning","created":"2025-05-21","cited_by_count":166,"area":"lr"},{"id":"2404.03683","title":"Stream of Search (SoS): Learning to Search in Language","created":"2024-04-01","cited_by_count":145,"area":"lr"},{"id":"2404.12253","title":"Toward Self-Improvement of LLMs via Imagination, Searching, and Criticizing","created":"2024-04-18","cited_by_count":125,"area":"lr"},{"id":"2502.06233","title":"Confidence Improves Self-Consistency in LLMs","created":"2025-02-10","cited_by_count":113,"area":"lr"},{"id":"2504.09037","title":"A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems","created":"2025-04-12","cited_by_count":111,"area":"lr"},{"id":"2405.04776","title":"Chain of Thoughtlessness? An Analysis of CoT in Planning","created":"2024-05-08","cited_by_count":103,"area":"lr"},{"id":"2412.16075","title":"Formal Mathematical Reasoning: A New Frontier in AI","created":"2024-12-20","cited_by_count":81,"area":"lr"},{"id":"2502.01839","title":"Sample, Scrutinize and Scale: Effective Inference-Time Search by Scaling Verification","created":"2025-02-03","cited_by_count":50,"area":"lr"},{"id":"2407.01863","title":"VSP: Assessing the dual challenges of perception and reasoning in spatial planning tasks for VLMs","created":"2024-07-02","cited_by_count":47,"area":"lr"},{"id":"2502.19361","title":"Can Large Language Models Detect Errors in Long Chain-of-Thought Reasoning?","created":"2025-02-26","cited_by_count":44,"area":"lr"},{"id":"2409.12147","title":"MAgICoRe: Multi-Agent, Iterative, Coarse-to-Fine Refinement for Reasoning","created":"2024-09-18","cited_by_count":41,"area":"lr"},{"id":"2502.01633","title":"Adversarial Reasoning at Jailbreaking Time","created":"2025-02-03","cited_by_count":29,"area":"lr"},{"id":"2503.15848","title":"Entropy-based Exploration Conduction for Multi-step Reasoning","created":"2025-03-20","cited_by_count":29,"area":"lr"},{"id":"2502.02362","title":"Premise-Augmented Reasoning Chains Improve Error Identification in Math reasoning with LLMs","created":"2025-02-04","cited_by_count":22,"area":"lr"},{"id":"2510.13744","title":"Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math","created":"2025-10-15","cited_by_count":22,"area":"lr"},{"id":"2412.15118","title":"Reasoning Through Execution: Unifying Process and Outcome Rewards for Code Generation","created":"2024-12-19","cited_by_count":21,"area":"lr"},{"id":"2602.07594","title":"Learning to Self-Verify Makes Language Models Better Reasoners","created":"2026-02-07","cited_by_count":21,"area":"lr"},{"id":"2405.13966","title":"On the Brittle Foundations of ReAct Prompting for Agentic Large Language Models","created":"2024-05-22","cited_by_count":17,"area":"lr"},{"id":"2509.13351","title":"Teaching LLMs to Plan: Logical Chain-of-Thought Instruction Tuning for Symbolic Planning","created":"2025-09-14","cited_by_count":15,"area":"lr"},{"id":"2507.11662","title":"Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification","created":"2025-07-15","cited_by_count":14,"area":"lr"},{"id":"2407.03181","title":"Fine-Tuning on Diverse Reasoning Chains Drives Within-Inference CoT Refinement in LLMs","created":"2024-07-03","cited_by_count":12,"area":"lr"},{"id":"2501.14492","title":"RealCritic: Towards Effectiveness-Driven Evaluation of Language Model Critiques","created":"2025-01-24","cited_by_count":12,"area":"lr"},{"id":"2603.04304","title":"$V_1$: Unifying Generation and Self-Verification for Parallel Reasoners","created":"2026-03-04","cited_by_count":12,"area":"lr"},{"id":"2501.00830","title":"LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about Actions","created":"2025-01-01","cited_by_count":10,"area":"lr"},{"id":"2501.13122","title":"Zero-Shot Verification-guided Chain of Thoughts","created":"2025-01-21","cited_by_count":10,"area":"lr"},{"id":"2502.07087","title":"Evaluating the Systematic Reasoning Abilities of Large Language Models through Graph Coloring","created":"2025-02-10","cited_by_count":10,"area":"lr"},{"id":"2504.00406","title":"VerifiAgent: a Unified Verification Agent in Language Model Reasoning","created":"2025-04-01","cited_by_count":10,"area":"lr"},{"id":"2502.06813","title":"Policy Guided Tree Search for Enhanced LLM Reasoning","created":"2025-02-04","cited_by_count":9,"area":"lr"},{"id":"2501.07845","title":"Reasoning with Graphs: Structuring Implicit Knowledge to Enhance LLMs Reasoning","created":"2025-01-14","cited_by_count":8,"area":"lr"},{"id":"2505.19927","title":"TCP: a Benchmark for Temporal Constraint-Based Planning","created":"2025-05-26","cited_by_count":8,"area":"lr"},{"id":"2506.12509","title":"Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs","created":"2025-06-14","cited_by_count":8,"area":"lr"},{"id":"2506.20729","title":"Test-time Scaling Techniques in Theoretical Physics -- A Comparison of Methods on the TPBench Dataset","created":"2025-06-25","cited_by_count":8,"area":"lr"},{"id":"2406.06590","title":"Are LLMs classical or nonmonotonic reasoners? Lessons from generics","created":"2024-06-05","cited_by_count":7,"area":"lr"},{"id":"2408.11326","title":"Automating Thought of Search: A Journey Towards Soundness and Completeness","created":"2024-08-21","cited_by_count":7,"area":"lr"},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2505.12151","title":"Reasoning Large Language Model Errors Arise from Hallucinating Critical Problem Features","created":"2025-05-17","cited_by_count":6,"area":"lr"},{"id":"2501.01457","title":"Beyond Introspection: Reinforcing Thinking via Externalist Behavioral Feedback","created":"2024-12-31","cited_by_count":5,"area":"lr"},{"id":"2503.02238","title":"Haste Makes Waste: Evaluating Planning Abilities of LLMs for Efficient and Feasible Multitasking with Time Constraints Between Actions","created":"2025-03-04","cited_by_count":5,"area":"lr"},{"id":"2504.10893","title":"ARise: Towards Knowledge-Augmented Reasoning via Risk-Adaptive Search","created":"2025-04-15","cited_by_count":5,"area":"lr"},{"id":"2507.14419","title":"It's Not That Simple. An Analysis of Simple Test-Time Scaling","created":"2025-07-19","cited_by_count":5,"area":"lr"},{"id":"2607.28374","title":"LEDGERMIND: Provenance-Constrained Multimodal Agentic Reasoning with a Structured Evidence Ledger","created":"2026-07-30","cited_by_count":5,"area":"lr"},{"id":"2502.12094","title":"A Study on Leveraging Search and Self-Feedback for Agent Reasoning","created":"2025-02-17","cited_by_count":3,"area":"lr"},{"id":"2508.17959","title":"Language Models Coupled with Metacognition Can Outperform Reasoning Models","created":"2025-08-25","cited_by_count":3,"area":"lr"},{"id":"2510.16374","title":"Before you <think>, monitor: Implementing Flavell's metacognitive framework in LLMs","created":"2025-10-18","cited_by_count":3,"area":"lr"},{"id":"2602.00276","title":"Localizing and Correcting Errors for LLM-based Planners","created":"2026-01-30","cited_by_count":3,"area":"lr"},{"id":"2411.01790","title":"Thinking Forward and Backward: Effective Backward Planning with Large Language Models","created":"2024-11-04","cited_by_count":2,"area":"lr"},{"id":"2602.00127","title":"ALIGN: Aligned Delegation with Performance Guarantees for Multi-Agent LLM Reasoning","created":"2026-01-28","cited_by_count":2,"area":"lr"},{"id":"2602.11361","title":"Finding the Cracks: Improving LLMs Reasoning with Paraphrastic Probing and Consistency Verification","created":"2026-02-11","cited_by_count":2,"area":"lr"},{"id":"2605.15513","title":"CAPS: Cascaded Adaptive Pairwise Selection for Efficient Parallel Reasoning","created":"2026-05-15","cited_by_count":2,"area":"lr"},{"id":"2605.19228","title":"Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attribution","created":"2026-05-19","cited_by_count":2,"area":"lr"},{"id":"2605.30290","title":"Self-Trained Verification for Training- and Test-Time Self-Improvement","created":"2026-05-28","cited_by_count":2,"area":"lr"},{"id":"2505.13252","title":"A Reality Check of Language Models as Formalizers on Constraint Satisfaction Problems","created":"2025-05-19","cited_by_count":1,"area":"lr"},{"id":"2510.02816","title":"NCV: A Node-Wise Consistency Verification Approach for Low-Cost Structured Error Localization in LLM Reasoning","created":"2025-10-03","cited_by_count":1,"area":"lr"},{"id":"2606.13156","title":"Iterative Visual Thinking and the Self-Correction Mirage in VLM Grounding","created":"2026-06-11","cited_by_count":1,"area":"lr"},{"id":"2608.20237","title":"Rule-Compliant Visual Spatial Planning for Multimodal Large Language Models","created":"2026-08-20","cited_by_count":1,"area":"lr"},{"id":"2604.27960","title":"LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning","created":"2026-04-30","cited_by_count":0,"area":"lr"},{"id":"2605.15333","title":"Zero-Shot Goal Recognition with Large Language Models","created":"2026-05-14","cited_by_count":0,"area":"lr"},{"id":"2608.09351","title":"Test-Time Augmentation for LLMs: When Input Diversity Beats Output Diversity at Matched Compute","created":"2026-08-10","cited_by_count":0,"area":"lr"},{"id":"2609.39632","title":"Towards Better Exploration in Sequential Test-Time Scaling","created":"2026-09-30","cited_by_count":0,"area":"lr"}],"next_cursor":null}