{"total":68,"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":"2402.01817","title":"LLMs Can't Plan, But Can Help Planning in LLM-Modulo Frameworks","created":"2024-02-02","cited_by_count":179,"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":"2407.11511","title":"Multi-Step Reasoning with Large Language Models, a Survey","created":"2024-07-16","cited_by_count":143,"area":"lr"},{"id":"2402.08115","title":"On the Self-Verification Limitations of Large Language Models on Reasoning and Planning Tasks","created":"2024-02-12","cited_by_count":142,"area":"lr"},{"id":"2410.14157","title":"Beyond Autoregression: Discrete Diffusion for Complex Reasoning and Planning","created":"2024-10-18","cited_by_count":135,"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":"2406.14283","title":"Q*: Improving Multi-step Reasoning for LLMs with Deliberative Planning","created":"2024-06-20","cited_by_count":97,"area":"lr"},{"id":"2504.10903","title":"Efficient Reasoning Models: A Survey","created":"2025-04-15","cited_by_count":95,"area":"lr"},{"id":"2506.06632","title":"Curriculum Reinforcement Learning from Easy to Hard Tasks Improves LLM Reasoning","created":"2025-06-07","cited_by_count":92,"area":"lr"},{"id":"2403.04121","title":"Can Large Language Models Reason and Plan?","created":"2024-03-07","cited_by_count":82,"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":"2504.07986","title":"SEAL: Steerable Reasoning Calibration of Large Language Models for Free","created":"2025-04-07","cited_by_count":68,"area":"lr"},{"id":"2410.01707","title":"Interpretable Contrastive Monte Carlo Tree Search Reasoning","created":"2024-10-02","cited_by_count":64,"area":"lr"},{"id":"2410.05695","title":"Unlocking the Capabilities of Thought: A Reasoning Boundary Framework to Quantify and Optimize Chain-of-Thought","created":"2024-10-08","cited_by_count":56,"area":"lr"},{"id":"2410.05669","title":"ACPBench: Reasoning about Action, Change, and Planning","created":"2024-10-08","cited_by_count":39,"area":"lr"},{"id":"2508.01491","title":"The Homogenizing Effect of Large Language Models on Human Expression and Thought","created":"2025-08-02","cited_by_count":35,"area":"lr"},{"id":"2507.02076","title":"Reasoning on a Budget: A Survey of Adaptive and Controllable Test-Time Compute in LLMs","created":"2025-07-02","cited_by_count":31,"area":"lr"},{"id":"2502.12521","title":"Inference-Time Computations for LLM Reasoning and Planning: A Benchmark and Insights","created":"2025-02-18","cited_by_count":30,"area":"lr"},{"id":"2310.07088","title":"Diversity of Thought Improves Reasoning Abilities of LLMs","created":"2023-10-11","cited_by_count":25,"area":"lr"},{"id":"2503.12349","title":"SPIN-Bench: How Well Do LLMs Plan Strategically and Reason Socially?","created":"2025-03-16","cited_by_count":24,"area":"lr"},{"id":"2411.01829","title":"Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically","created":"2024-11-04","cited_by_count":22,"area":"lr"},{"id":"2501.10069","title":"A Survey on LLM Test-Time Compute via Search: Tasks, LLM Profiling, Search Algorithms, and Relevant Frameworks","created":"2025-01-17","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.14683","title":"MiroMind-M1: An Open-Source Advancement in Mathematical Reasoning via Context-Aware Multi-Stage Policy Optimization","created":"2025-07-19","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":"2509.25020","title":"Deep Thinking by Markov Chain of Continuous Thoughts","created":"2025-09-29","cited_by_count":9,"area":"lr"},{"id":"2512.23167","title":"SPIRAL: Symbolic LLM Planning via Grounded and Reflective Search","created":"2025-12-29","cited_by_count":7,"area":"lr"},{"id":"2402.09390","title":"HGOT: Hierarchical Graph of Thoughts for Retrieval-Augmented In-Context Learning in Factuality Evaluation","created":"2024-02-14","cited_by_count":6,"area":"lr"},{"id":"2404.11041","title":"On the Empirical Complexity of Reasoning and Planning in LLMs","created":"2024-04-17","cited_by_count":6,"area":"lr"},{"id":"2406.10479","title":"Unlocking Large Language Model's Planning Capabilities with Maximum Diversity Fine-tuning","created":"2024-06-15","cited_by_count":6,"area":"lr"},{"id":"2506.23908","title":"Beyond Statistical Learning: Exact Learning Is Essential for General Intelligence","created":"2025-06-30","cited_by_count":6,"area":"lr"},{"id":"2508.12782","title":"HeroBench: A Benchmark for Long-Horizon Planning and Structured Reasoning in Virtual Worlds","created":"2025-08-18","cited_by_count":6,"area":"lr"},{"id":"2410.14198","title":"Supervised Chain of Thought","created":"2024-10-18","cited_by_count":5,"area":"lr"},{"id":"2602.13738","title":"OneLatent: Single-Token Compression for Visual Latent Reasoning","created":"2026-02-14","cited_by_count":5,"area":"lr"},{"id":"2603.15280","title":"Advancing Multimodal Agent Reasoning with Long-Term Neuro-Symbolic Memory","created":"2026-03-16","cited_by_count":5,"area":"lr"},{"id":"2406.00965","title":"HBTP: Heuristic Behavior Tree Planning with Large Language Model Reasoning","created":"2024-06-03","cited_by_count":4,"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":"2504.11364","title":"Offline Learning and Forgetting for Reasoning with Large Language Models","created":"2025-04-15","cited_by_count":4,"area":"lr"},{"id":"2511.07372","title":"Provable Benefit of Curriculum in Transformer Tree-Reasoning Post-Training","created":"2025-11-10","cited_by_count":4,"area":"lr"},{"id":"2507.02253","title":"Scaling LLM Planning: NL2FLOW for Parametric Problem Generation and Rigorous Evaluation","created":"2025-07-03","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":"2602.19281","title":"Limited Reasoning Space: The cage of long-horizon reasoning in LLMs","created":"2026-02-22","cited_by_count":3,"area":"lr"},{"id":"2604.08243","title":"Self-Debias: Self-correcting for Debiasing Large Language Models","created":"2026-04-09","cited_by_count":3,"area":"lr"},{"id":"2607.10275","title":"Information-seeking failures of large language models in agentic clinical reasoning","created":"2026-07-11","cited_by_count":3,"area":"lr"},{"id":"2408.04648","title":"PLUGH: A Benchmark for Spatial Understanding and Reasoning in Large Language Models","created":"2024-08-03","cited_by_count":2,"area":"lr"},{"id":"2604.06427","title":"The Depth Ceiling: On the Limits of Large Language Models in Discovering Latent Planning","created":"2026-04-07","cited_by_count":2,"area":"lr"},{"id":"2607.26977","title":"TREK: A Travel Reasoning and Evaluation Kit for LLM Agents in Complex Trip Planning","created":"2026-07-29","cited_by_count":2,"area":"lr"},{"id":"2407.09985","title":"A Training Data Recipe to Accelerate A* Search with Language Models","created":"2024-07-13","cited_by_count":1,"area":"lr"},{"id":"2506.21797","title":"Why Neural Network Can Discover Symbolic Structures with Gradient-based Training: An Algebraic and Geometric Foundation for Neurosymbolic Reasoning","created":"2025-06-26","cited_by_count":1,"area":"lr"},{"id":"2602.03900","title":"Knowledge Model Prompting Increases LLM Performance on Planning Tasks","created":"2026-02-03","cited_by_count":1,"area":"lr"},{"id":"2606.00376","title":"The Deterministic Horizon: When Extended Reasoning Fails and Tool Delegation Becomes Necessary","created":"2026-05-29","cited_by_count":1,"area":"lr"},{"id":"2608.03034","title":"PACE: Adaptive Budget Allocation for Time-Efficient Embodied Planning","created":"2026-08-04","cited_by_count":1,"area":"lr"},{"id":"2409.03671","title":"TRACE-CS: A Hybrid Logic-LLM System for Explainable Course Scheduling","created":"2024-09-05","cited_by_count":0,"area":"lr"},{"id":"2505.23323","title":"Neither Stochastic Parroting nor AGI: LLMs Solve Tasks through Context-Directed Extrapolation from Training Data Priors","created":"2025-05-29","cited_by_count":0,"area":"lr"},{"id":"2507.20021","title":"When Engineering Outruns Intelligence: Rethinking Instruction-Guided Navigation","created":"2025-07-26","cited_by_count":0,"area":"lr"},{"id":"2510.05972","title":"LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language","created":"2025-10-07","cited_by_count":0,"area":"lr"},{"id":"2601.03606","title":"Policy-Guided Search on Tree-of-Thoughts for Efficient Problem Solving with Bounded Language Model Queries","created":"2026-01-07","cited_by_count":0,"area":"lr"},{"id":"2604.06501","title":"Transformer See, Transformer Do: Copying as an Intermediate Step in Learning Analogical Reasoning","created":"2026-04-07","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":"2605.18820","title":"Emergence of Frontier Superposition: M\\\"obius attractor and Cascade Supervision","created":"2026-05-12","cited_by_count":0,"area":"lr"},{"id":"2605.29687","title":"Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability","created":"2026-05-28","cited_by_count":0,"area":"lr"},{"id":"2605.30052","title":"REPOT: Recoverable Program-of-Thought via Checkpoint Repair","created":"2026-05-28","cited_by_count":0,"area":"lr"},{"id":"2605.31404","title":"The Sword, Shield, and Achilles' Heel: Characterizing the Linguistic Inductive Bias of Large Language Models for Spatial Reasoning in Navigation Planning","created":"2026-05-29","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.26836","title":"SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers","created":"2026-08-27","cited_by_count":0,"area":"lr"},{"id":"2609.35571","title":"Representation Alignment as a Bottleneck in LLM-Based Retrosynthesis Planning","created":"2026-09-28","cited_by_count":0,"area":"lr"}],"next_cursor":null}