{"total":94,"rows":[{"id":"2410.05229","title":"GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models","created":"2024-10-07","cited_by_count":550,"area":"lr"},{"id":"2506.06941","title":"The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity","created":"2025-06-07","cited_by_count":302,"area":"lr"},{"id":"2501.09686","title":"Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models","created":"2025-01-16","cited_by_count":293,"area":"wm"},{"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":"2502.11221","title":"PlanGenLLMs: A Modern Survey of LLM Planning Capabilities","created":"2025-02-16","cited_by_count":83,"area":null},{"id":"2505.12514","title":"Reasoning by Superposition: A Theoretical Perspective on Chain of Continuous Thought","created":"2025-05-18","cited_by_count":77,"area":"lr"},{"id":"2410.05669","title":"ACPBench: Reasoning about Action, Change, and Planning","created":"2024-10-08","cited_by_count":39,"area":"lr"},{"id":"2503.18971","title":"LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning Models","created":"2025-03-22","cited_by_count":38,"area":null},{"id":"2410.07869","title":"Benchmarking Agentic Workflow Generation","created":"2024-10-10","cited_by_count":37,"area":"agents"},{"id":"2501.16150","title":"A Comprehensive Survey of Agents for Computer Use: Foundations, Challenges, and Future Directions","created":"2025-01-27","cited_by_count":34,"area":"agents"},{"id":"2505.12886","title":"Detection and Mitigation of Hallucination in Large Reasoning Models: A Mechanistic Perspective","created":"2025-05-19","cited_by_count":34,"area":"lr"},{"id":"2502.06776","title":"InSTA: Towards Internet-Scale Training For Agents","created":"2025-02-10","cited_by_count":32,"area":"agents"},{"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":"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":"2507.07313","title":"Frontier LLMs Still Struggle with Simple Reasoning Tasks","created":"2025-07-09","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":"2409.19924","title":"On The Planning Abilities of OpenAI's o1 Models: Feasibility, Optimality, and Generalizability","created":"2024-09-30","cited_by_count":18,"area":null},{"id":"2412.09879","title":"On the Limit of Language Models as Planning Formalizers","created":"2024-12-13","cited_by_count":18,"area":null},{"id":"2502.20129","title":"Finite State Automata Inside Transformers with Chain-of-Thought: A Mechanistic Study on State Tracking","created":"2025-02-27","cited_by_count":18,"area":"lr"},{"id":"2502.12435","title":"A Survey on Large Language Models for Automated Planning","created":"2025-02-18","cited_by_count":17,"area":null},{"id":"2410.21287","title":"A Systematic Assessment of OpenAI o1-Preview for Higher Order Thinking in Education","created":"2024-10-11","cited_by_count":16,"area":"lr"},{"id":"2504.11844","title":"Evaluating the Goal-Directedness of Large Language Models","created":"2025-04-16","cited_by_count":16,"area":null},{"id":"2502.16111","title":"PlanGEN: A Multi-Agent Framework for Generating Planning and Reasoning Trajectories for Complex Problem Solving","created":"2025-02-22","cited_by_count":15,"area":"lr"},{"id":"2410.18819","title":"From Imitation to Introspection: Probing Self-Consciousness in Language Models","created":"2024-10-24","cited_by_count":14,"area":null},{"id":"2506.00320","title":"Dyna-Think: Synergizing Reasoning, Acting, and World Model Simulation in AI Agents","created":"2025-05-31","cited_by_count":14,"area":"wm"},{"id":"2502.04728","title":"Generating Symbolic World Models via Test-time Scaling of Large Language Models","created":"2025-02-07","cited_by_count":12,"area":"wm"},{"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":"2507.00711","title":"Large Reasoning Models are not thinking straight: on the unreliability of thinking trajectories","created":"2025-07-01","cited_by_count":10,"area":"lr"},{"id":"2410.10998","title":"WILT: A Multi-Turn, Memorization-Robust Inductive Logic Benchmark for LLMs","created":"2024-10-14","cited_by_count":9,"area":null},{"id":"2411.14484","title":"Robust Planning with Compound LLM Architectures: An LLM-Modulo Approach","created":"2024-11-20","cited_by_count":9,"area":null},{"id":"2411.17760","title":"Efficient Self-Improvement in Multimodal Large Language Models: A Model-Level Judge-Free Approach","created":"2024-11-26","cited_by_count":9,"area":"mllm"},{"id":"2507.23589","title":"Can LLM-Reasoning Models Replace Classical Planning? A Benchmark Study","created":"2025-07-31","cited_by_count":8,"area":"lr"},{"id":"2410.05262","title":"TurtleBench: Evaluating Top Language Models via Real-World Yes/No Puzzles","created":"2024-10-07","cited_by_count":7,"area":null},{"id":"2505.11814","title":"ChatHTN: Interleaving Approximate (LLM) and Symbolic HTN Planning","created":"2025-05-17","cited_by_count":7,"area":null},{"id":"2508.18507","title":"Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies","created":"2025-08-25","cited_by_count":7,"area":"wm"},{"id":"2411.18711","title":"Evaluating Vision-Language Models as Evaluators in Path Planning","created":"2024-11-27","cited_by_count":6,"area":"lr"},{"id":"2502.12896","title":"None of the Others: a General Technique to Distinguish Reasoning from Memorization in Multiple-Choice LLM Evaluation Benchmarks","created":"2025-02-18","cited_by_count":6,"area":"lr"},{"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":"2410.13121","title":"Trust but Verify: Programmatic VLM Evaluation in the Wild","created":"2024-10-17","cited_by_count":5,"area":"mllm"},{"id":"2505.19806","title":"Exploring Consciousness in LLMs: A Systematic Survey of Theories, Implementations, and Frontier Risks","created":"2025-05-26","cited_by_count":5,"area":null},{"id":"2601.19924","title":"OPT-Engine: Benchmarking the Limits of LLMs in Optimization Modeling via Complexity Scaling","created":"2026-01-09","cited_by_count":5,"area":null},{"id":"2502.03325","title":"Electronic Circuit Principles of Large Language Models","created":"2025-02-05","cited_by_count":4,"area":"lr"},{"id":"2505.24874","title":"The Road to Generalizable Neuro-Symbolic Learning Should be Paved with Foundation Models","created":"2025-05-30","cited_by_count":4,"area":null},{"id":"2508.16745","title":"Beyond Memorization: Extending Reasoning Depth with Recurrence, Memory and Test-Time Compute Scaling","created":"2025-08-22","cited_by_count":4,"area":"lr"},{"id":"2510.22371","title":"Reasoning Models Reason Well, Until They Don't","created":"2025-10-25","cited_by_count":4,"area":"lr"},{"id":"2511.12913","title":"CoS: Towards Optimal Event Scheduling via Chain-of-Scheduling","created":"2025-11-17","cited_by_count":4,"area":null},{"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":"2503.23487","title":"Large Language and Reasoning Models are Shallow Disjunctive Reasoners","created":"2025-03-30","cited_by_count":3,"area":"lr"},{"id":"2506.10209","title":"TTT-Bench: A Benchmark for Evaluating Reasoning Ability with Simple and Novel Tic-Tac-Toe-style Games","created":"2025-06-11","cited_by_count":3,"area":"lr"},{"id":"2509.00971","title":"CoreThink: A Symbolic Reasoning Layer to reason over Long Horizon Tasks with LLMs","created":"2025-08-31","cited_by_count":3,"area":"lr"},{"id":"2510.05486","title":"Language Model as Planner and Formalizer under Constraints","created":"2025-10-07","cited_by_count":3,"area":null},{"id":"2510.25039","title":"Automating Benchmark Design","created":"2025-10-28","cited_by_count":3,"area":"agents"},{"id":"2412.14708","title":"Creation of AI-driven Smart Spaces for Enhanced Indoor Environments -- A Survey","created":"2024-12-19","cited_by_count":2,"area":null},{"id":"2501.18816","title":"Large Language Models as Common-Sense Heuristics","created":"2025-01-31","cited_by_count":2,"area":null},{"id":"2502.13953","title":"Benchmarking graph construction by large language models for coherence-driven inference","created":"2025-02-19","cited_by_count":2,"area":null},{"id":"2502.19622","title":"Weaker LLMs' Opinions Also Matter: Mixture of Opinions Enhances LLM's Mathematical Reasoning","created":"2025-02-26","cited_by_count":2,"area":"lr"},{"id":"2505.22290","title":"Rethinking the Unsolvable: When In-Context Search Meets Test-Time Scaling","created":"2025-05-28","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":"2508.05619","title":"The Missing Reward: Active Inference in the Era of Experience","created":"2025-08-07","cited_by_count":2,"area":"alignment"},{"id":"2508.18515","title":"Weisfeiler-Leman Features for Planning: A 1,000,000 Sample Size Hyperparameter Study","created":"2025-08-25","cited_by_count":2,"area":null},{"id":"2512.24014","title":"iCLP: Large Language Model Reasoning with Implicit Cognition Latent Planning","created":"2025-12-30","cited_by_count":2,"area":"lr"},{"id":"2601.18987","title":"LLMs versus the Halting Problem: Characterizing Program Termination Reasoning","created":"2026-01-26","cited_by_count":2,"area":"lr"},{"id":"2603.19954","title":"On the Ability of Transformers to Verify Plans","created":"2026-03-20","cited_by_count":2,"area":null},{"id":"2410.18114","title":"Bridging Today and the Future of Humanity: AI Safety in 2024 and Beyond","created":"2024-10-09","cited_by_count":1,"area":null},{"id":"2502.11733","title":"Plant in Cupboard, Orange on Rably, Inat Aphone. Benchmarking Incremental Learning of Situation and Language Model using a Text-Simulated Situated Environment","created":"2025-02-17","cited_by_count":1,"area":null},{"id":"2502.18435","title":"What Makes the Preferred Thinking Direction for LLMs in Multiple-choice Questions?","created":"2025-02-25","cited_by_count":1,"area":"lr"},{"id":"2505.10117","title":"Learning Virtual Machine Scheduling in Cloud Computing through Language Agents","created":"2025-05-15","cited_by_count":1,"area":"agents"},{"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":"2506.23888","title":"Advancing Multi-Step Mathematical Reasoning in Large Language Models through Multi-Layered Self-Reflection with Auto-Prompting","created":"2025-06-30","cited_by_count":1,"area":"lr"},{"id":"2509.12987","title":"Toward PDDL Planning Copilot","created":"2025-09-16","cited_by_count":1,"area":null},{"id":"2602.12665","title":"Evaluating Robustness of Reasoning Models on Parameterized Logical Problems","created":"2026-02-13","cited_by_count":1,"area":"lr"},{"id":"2602.16902","title":"LLM-WikiRace Benchmark: How Far Can LLMs Plan over Real-World Knowledge Graphs?","created":"2026-02-18","cited_by_count":1,"area":null},{"id":"2603.06064","title":"Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation","created":"2026-03-06","cited_by_count":1,"area":"agents"},{"id":"2603.23844","title":"Language Models as Higher-Order Planning Formalizers","created":"2026-03-25","cited_by_count":1,"area":"lr"},{"id":"2606.27757","title":"Towards Reliable and Robust LLM Planning: Symbolic Feedback-Driven Iterative Self-Refinement Framework","created":"2026-06-26","cited_by_count":1,"area":null},{"id":"2412.02136","title":"Graph Learning for Planning: The Story Thus Far and Open Challenges","created":"2024-12-03","cited_by_count":0,"area":null},{"id":"2412.04645","title":"REL: Working out is all you need","created":"2024-12-05","cited_by_count":0,"area":"lr"},{"id":"2505.04354","title":"Optimization Problem Solving Can Transition to Evolutionary Agentic Workflows","created":"2025-05-07","cited_by_count":0,"area":"agents"},{"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":"2508.04279","title":"Mockingbird: How does LLM perform in general machine learning tasks?","created":"2025-08-06","cited_by_count":0,"area":null},{"id":"2508.11524","title":"Inspire or Predict? Exploring New Paradigms in Assisting Classical Planners with Large Language Models","created":"2025-08-15","cited_by_count":0,"area":null},{"id":"2602.04843","title":"Fluid Reasoning Representations","created":"2026-02-04","cited_by_count":0,"area":"lr"},{"id":"2602.21831","title":"A Multi-Turn Framework for Evaluating AI Misuse in Fraud and Cybercrime Scenarios","created":"2026-02-25","cited_by_count":0,"area":"safety"},{"id":"2603.17021","title":"Generative AI-assisted Participatory Modeling in Socio-Environmental Planning under Deep Uncertainty","created":"2026-03-17","cited_by_count":0,"area":null},{"id":"2606.00981","title":"Robust Asynchronous Planning via Auto-Formalization","created":"2026-05-31","cited_by_count":0,"area":null},{"id":"2606.10489","title":"A complementary study on PlanGPT: Evaluation with defined Performance Metrics and comparison with a planner","created":"2026-06-09","cited_by_count":0,"area":null},{"id":"2607.04854","title":"CARL: Constraint-Aware Reinforcement Learning for Planning with LLMs","created":"2026-07-06","cited_by_count":0,"area":"lr"},{"id":"2607.10651","title":"Embark Now: User Demand Oriented Framework for Multi-day Urban Travel Itinerary Planning","created":"2026-07-12","cited_by_count":0,"area":null},{"id":"2607.23055","title":"SymStep: Symbolic Step Verification for Logical Reasoning","created":"2026-07-25","cited_by_count":0,"area":"lr"},{"id":"2607.23386","title":"Confidently Wrong: Exception Chain Collapse in Frontier LLM Rule Evaluation","created":"2026-07-25","cited_by_count":0,"area":null},{"id":"2608.18242","title":"ClosureBench: A Constructive Benchmark for Compositional Graph Reasoning","created":"2026-08-18","cited_by_count":0,"area":"lr"},{"id":"2608.21897","title":"From Solver Feedback to Faithful Plans: Multi-Role Reinforcement Learning for Symbolic Planning","created":"2026-08-22","cited_by_count":0,"area":"lr"},{"id":"2608.22830","title":"Beyond the Harness: End-to-End Optimization of Context Artifacts for Enterprise Text-to-SQL","created":"2026-08-24","cited_by_count":0,"area":null}],"next_cursor":null}