{"total":142,"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":"2504.01990","title":"Advances and Challenges in Foundation Agents: From Brain-Inspired Intelligence to Evolutionary, Collaborative, and Safe Systems","created":"2025-03-31","cited_by_count":126,"area":"agents"},{"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":"2502.03544","title":"Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2","created":"2025-02-05","cited_by_count":97,"area":null},{"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":"2510.07284","title":"Online Rubrics Elicitation from Pairwise Comparisons","created":"2025-10-08","cited_by_count":46,"area":null},{"id":"2601.18137","title":"DeepPlanning: Benchmarking Long-Horizon Agentic Planning with Verifiable Constraints","created":"2026-01-26","cited_by_count":46,"area":"agents"},{"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":"2407.16711","title":"Benchmarks as Microscopes: A Call for Model Metrology","created":"2024-07-22","cited_by_count":35,"area":null},{"id":"2405.20625","title":"Robust Planning with LLM-Modulo Framework: Case Study in Travel Planning","created":"2024-05-31","cited_by_count":34,"area":null},{"id":"2506.06303","title":"Reward Is Enough: LLMs Are In-Context Reinforcement Learners","created":"2025-05-21","cited_by_count":31,"area":null},{"id":"2506.19923","title":"Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs","created":"2025-06-24","cited_by_count":31,"area":"agents"},{"id":"2505.09561","title":"Learning Long-Context Diffusion Policies via Past-Token Prediction","created":"2025-05-14","cited_by_count":30,"area":"diffusion"},{"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":"2404.04298","title":"SELF-[IN]CORRECT: LLMs Struggle with Discriminating Self-Generated Responses","created":"2024-04-04","cited_by_count":26,"area":"synth"},{"id":"2505.02811","title":"Knowing You Don't Know: Learning When to Continue Search in Multi-round RAG through Self-Practicing","created":"2025-05-05","cited_by_count":25,"area":"rag"},{"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":"2410.12409","title":"Revealing the Barriers of Language Agents in Planning","created":"2024-10-16","cited_by_count":20,"area":"agents"},{"id":"2602.22839","title":"DeepPresenter: Environment-Grounded Reflection for Agentic Presentation Generation","created":"2026-02-26","cited_by_count":18,"area":"agents"},{"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":"2410.02162","title":"Planning in Strawberry Fields: Evaluating and Improving the Planning and Scheduling Capabilities of LRM o1","created":"2024-10-03","cited_by_count":17,"area":null},{"id":"2502.01619","title":"Learning to Generate Unit Tests for Automated Debugging","created":"2025-02-03","cited_by_count":17,"area":null},{"id":"2502.12435","title":"A Survey on Large Language Models for Automated Planning","created":"2025-02-18","cited_by_count":17,"area":null},{"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":"2512.02304","title":"When Does Verification Pay Off? A Closer Look at LLMs as Solution Verifiers","created":"2025-12-02","cited_by_count":15,"area":null},{"id":"2405.16661","title":"RLSF: Fine-tuning LLMs via Symbolic Feedback","created":"2024-05-26","cited_by_count":14,"area":"alignment"},{"id":"2503.12651","title":"VeriLA: A Human-Centered Evaluation Framework for Interpretable Verification of LLM Agent Failures","created":"2025-03-16","cited_by_count":14,"area":"agents"},{"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":"2510.17109","title":"Verification-Aware Planning for Multi-Agent Systems","created":"2025-10-20","cited_by_count":10,"area":"agents"},{"id":"2502.06813","title":"Policy Guided Tree Search for Enhanced LLM Reasoning","created":"2025-02-04","cited_by_count":9,"area":"lr"},{"id":"2502.17878","title":"Towards Enhanced Immersion and Agency for LLM-based Interactive Drama","created":"2025-02-25","cited_by_count":9,"area":null},{"id":"2602.06948","title":"Agentic Uncertainty Reveals Agentic Overconfidence","created":"2026-02-06","cited_by_count":9,"area":"agents"},{"id":"2405.15194","title":"Extracting Heuristics from Large Language Models for Reward Shaping in Reinforcement Learning","created":"2024-05-24","cited_by_count":8,"area":null},{"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":"2503.17309","title":"LLM+MAP: Bimanual Robot Task Planning using Large Language Models and Planning Domain Definition Language","created":"2025-03-21","cited_by_count":7,"area":null},{"id":"2508.13876","title":"Improved Generalized Planning with LLMs through Strategy Refinement and Reflection","created":"2025-08-19","cited_by_count":7,"area":null},{"id":"2512.24103","title":"Enhancing LLM Planning Capabilities through Intrinsic Self-Critique","created":"2025-12-30","cited_by_count":7,"area":null},{"id":"2606.17930","title":"How Inference Compute Shapes Frontier LLM Evaluation","created":"2026-06-16","cited_by_count":7,"area":null},{"id":"2402.11903","title":"DiLA: Enhancing LLM Tool Learning with Differential Logic Layer","created":"2024-02-19","cited_by_count":6,"area":"lr"},{"id":"2404.18311","title":"Towards Incremental Learning in Large Language Models: A Critical Review","created":"2024-04-28","cited_by_count":6,"area":null},{"id":"2408.15133","title":"Using LLMs for Explaining Sets of Counterfactual Examples to Final Users","created":"2024-08-27","cited_by_count":6,"area":null},{"id":"2502.19295","title":"Complex LLM Planning via Automated Heuristics Discovery","created":"2025-02-26","cited_by_count":6,"area":null},{"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":"2602.08222","title":"Weak-Driven Learning: How Weak Agents make Strong Agents Stronger","created":"2026-02-09","cited_by_count":5,"area":"agents"},{"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":"2606.31511","title":"Falsification, Not Exposure: An Internally Preregistered Placebo-Controlled Decomposition of Self-Repair Feedback in Frozen Small Code Models","created":"2026-06-30","cited_by_count":4,"area":null},{"id":"2409.10011","title":"HALO: Hallucination Analysis and Learning Optimization to Empower LLMs with Retrieval-Augmented Context for Guided Clinical Decision Making","created":"2024-09-16","cited_by_count":3,"area":"rag"},{"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":"2503.10542","title":"Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More More","created":"2025-03-13","cited_by_count":3,"area":null},{"id":"2506.02539","title":"VerificAgent: Domain-Specific Memory Verification for Scalable Oversight of Aligned Computer-Use Agents","created":"2025-06-03","cited_by_count":3,"area":"agents"},{"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":"2602.02416","title":"Structure Enables Effective Self-Localization of Errors in LLMs","created":"2026-02-02","cited_by_count":3,"area":null},{"id":"2604.06155","title":"Toward Consistent World Models with Multi-Token Prediction and Latent Semantic Enhancement","created":"2026-04-07","cited_by_count":3,"area":"wm"},{"id":"2604.22273","title":"Self-Correction as Feedback Control: Error Dynamics, Stability Thresholds, and Prompt Interventions in LLMs","created":"2026-04-24","cited_by_count":3,"area":"agents"},{"id":"2410.10741","title":"SensorBench: Benchmarking LLMs in Coding-Based Sensor Processing","created":"2024-10-14","cited_by_count":2,"area":null},{"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":"2505.21399","title":"Factual Self-Awareness in Language Models: Representation, Robustness, and Scaling","created":"2025-05-27","cited_by_count":2,"area":null},{"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":"2602.13255","title":"DPBench: Structural Determinants of Multi-Agent LLM Coordination Under Simultaneous Resource Contention","created":"2026-02-02","cited_by_count":2,"area":"agents"},{"id":"2603.19954","title":"On the Ability of Transformers to Verify Plans","created":"2026-03-20","cited_by_count":2,"area":null},{"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":"2607.12962","title":"Form, Not Content? A Preregistered, Placebo-Controlled Evaluation of Learned Error-Conditioned Self-Repair Through Prompts and Weights in Frozen Small Code Models","created":"2026-07-14","cited_by_count":2,"area":null},{"id":"2608.01000","title":"Judging Is Not Enumerating: Silent Omissions in LLM-Authored Acceptable Sets","created":"2026-08-02","cited_by_count":2,"area":null},{"id":"2608.12761","title":"Correct Is Not Governed: Provenance Integrity in Agentic Workflows","created":"2026-08-13","cited_by_count":2,"area":"agents"},{"id":"2412.01752","title":"A Neurosymbolic Fast and Slow Architecture for Graph Coloring","created":"2024-12-02","cited_by_count":1,"area":null},{"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":"2507.14906","title":"Feedback-Induced Performance Decline in LLM-Based Decision-Making","created":"2025-07-20","cited_by_count":1,"area":null}],"next_cursor":"100"}