Planning

Socratic-MCTS: Test-Time Visual Reasoning by Asking the Right Questions EMNLP 2025 Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025 Solving MDPs with LTLf+ and PPLTL+ Temporal Objectives IJCAI 2025 Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025 Solving QNP and FOND+ with Generating, Testing and Forbidding IJCAI 2025 SPaRC: A Spatial Pathfinding Reasoning Challenge EMNLP 2025 Spatial-Aware Visual Program Guided Reasoning for Answering Complex Visual Questions IJCNLP 2025 Speculative Reward Model Boosts Decision Making Ability of LLMs Cost-Effectively ACL 2025 Speedup Techniques for Switchable Temporal Plan Graph Optimization AAAI 2025 SPORTSQL: An Interactive System for Real-Time Sports Reasoning and Visualization IJCNLP 2025 SRA-MCTS: Self-driven Reasoning Augmentation with Monte Carlo Tree Search for Code Generation IJCAI 2025 SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks AAAI 2025 STA-CoT: Structured Target-Centric Agentic Chain-of-Thought for Consistent Multi-Image Geological Reasoning EMNLP 2025 STaR-SQL: Self-Taught Reasoner for Text-to-SQL ACL 2025 START: Self-taught Reasoner with Tools EMNLP 2025 State-Based Disassembly Planning AAAI 2025 State Encodings for GNN-Based Lifted Planners AAAI 2025 Stepwise Informativeness Search for Improving LLM Reasoning EMNLP 2025 Stepwise Perplexity-Guided Refinement for Efficient Chain-of-Thought Reasoning in Large Language Models ACL 2025 STORYTELLER: An Enhanced Plot-Planning Framework for Coherent and Cohesive Story Generation ACL 2025 Strategic Planning: A Top-Down Approach to Option Generation ICML 2025 Strategist: Self-improvement of LLM Decision Making via Bi-Level Tree Search ICLR 2025 Structured Preference Optimization for Vision-Language Long-Horizon Task Planning EMNLP 2025 StructuThink: Reasoning with Task Transition Knowledge for Autonomous LLM-Based Agents EMNLP 2025 Suboptimal Search with Dynamic Distribution of Suboptimality AAAI 2025