{"total":59,"rows":[{"id":"2402.02716","title":"Understanding the planning of LLM agents: A survey","created":"2024-02-05","cited_by_count":421,"area":"agents"},{"id":"2404.03622","title":"Mind's Eye of LLMs: Visualization-of-Thought Elicits Spatial Reasoning in Large Language Models","created":"2024-04-04","cited_by_count":66,"area":"lr"},{"id":"2308.06391","title":"Dynamic Planning with a LLM","created":"2023-08-11","cited_by_count":61,"area":null},{"id":"2406.02537","title":"TopViewRS: Vision-Language Models as Top-View Spatial Reasoners","created":"2024-06-04","cited_by_count":49,"area":"lr"},{"id":"2401.02500","title":"On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)","created":"2024-01-04","cited_by_count":40,"area":null},{"id":"2505.19683","title":"Large Language Models for Planning: A Comprehensive and Systematic Survey","created":"2025-05-26","cited_by_count":40,"area":"lr"},{"id":"2410.16162","title":"Sparkle: Mastering Basic Spatial Capabilities in Vision Language Models Elicits Generalization to Spatial Reasoning","created":"2024-10-21","cited_by_count":34,"area":"lr"},{"id":"2407.03321","title":"Planetarium: A Rigorous Benchmark for Translating Text to Structured Planning Languages","created":"2024-07-03","cited_by_count":33,"area":null},{"id":"2502.05227","title":"Robotouille: An Asynchronous Planning Benchmark for LLM Agents","created":"2025-02-06","cited_by_count":32,"area":"agents"},{"id":"2401.03991","title":"Advancing Spatial Reasoning in Large Language Models: An In-Depth Evaluation and Enhancement Using the StepGame Benchmark","created":"2024-01-08","cited_by_count":27,"area":"lr"},{"id":"2405.16510","title":"Planning with Multi-Constraints via Collaborative Language Agents","created":"2024-05-26","cited_by_count":26,"area":"agents"},{"id":"2503.00870","title":"NeSyC: A Neuro-symbolic Continual Learner For Complex Embodied Tasks In Open Domains","created":"2025-03-02","cited_by_count":15,"area":null},{"id":"2410.11689","title":"BlendRL: A Framework for Merging Symbolic and Neural Policy Learning","created":"2024-10-15","cited_by_count":14,"area":"lr"},{"id":"2505.02322","title":"HyperTree Planning: Enhancing LLM Reasoning via Hierarchical Thinking","created":"2025-05-05","cited_by_count":14,"area":"lr"},{"id":"2402.01889","title":"The Role of Foundation Models in Neuro-Symbolic Learning and Reasoning","created":"2024-02-02","cited_by_count":12,"area":"lr"},{"id":"2405.18208","title":"A Human-Like Reasoning Framework for Multi-Phases Planning Task with Large Language Models","created":"2024-05-28","cited_by_count":12,"area":"lr"},{"id":"2501.14540","title":"VERUS-LM: a Versatile Framework for Combining LLMs with Symbolic Reasoning","created":"2025-01-24","cited_by_count":12,"area":"lr"},{"id":"2501.09316","title":"SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPs","created":"2025-01-16","cited_by_count":11,"area":"agents"},{"id":"2507.02170","title":"Synergizing Logical Reasoning, Knowledge Management and Collaboration in Multi-Agent LLM System","created":"2025-07-02","cited_by_count":10,"area":"lr"},{"id":"2402.14123","title":"DeiSAM: Segment Anything with Deictic Prompting","created":"2024-02-21","cited_by_count":9,"area":null},{"id":"2511.09008","title":"A Neurosymbolic Approach to Natural Language Formalization and Verification","created":"2025-11-12","cited_by_count":9,"area":null},{"id":"2407.18723","title":"LLASP: Fine-tuning Large Language Models for Answer Set Programming","created":"2024-07-26","cited_by_count":8,"area":null},{"id":"2409.12437","title":"Enhancing Logical Reasoning in Large Language Models through Graph-based Synthetic Data","created":"2024-09-19","cited_by_count":8,"area":"lr"},{"id":"2403.04541","title":"Towards Automatic Composition of ASP Programs from Natural Language Specifications","created":"2024-03-07","cited_by_count":7,"area":null},{"id":"2407.10162","title":"ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning","created":"2024-07-14","cited_by_count":7,"area":"lr"},{"id":"2509.09810","title":"Towards a Common Framework for Autoformalization","created":"2025-09-11","cited_by_count":7,"area":null},{"id":"2411.18564","title":"Dspy-based Neural-Symbolic Pipeline to Enhance Spatial Reasoning in LLMs","created":"2024-11-27","cited_by_count":6,"area":"lr"},{"id":"2506.19592","title":"Adaptive Domain Modeling with Language Models: A Multi-Agent Approach to Task Planning","created":"2025-06-24","cited_by_count":6,"area":"agents"},{"id":"2406.04566","title":"SpaRC and SpaRP: Spatial Reasoning Characterization and Path Generation for Understanding Spatial Reasoning Capability of Large Language Models","created":"2024-06-07","cited_by_count":5,"area":"lr"},{"id":"2408.16081","title":"Towards Logically Sound Natural Language Reasoning with Logic-Enhanced Language Model Agents","created":"2024-08-28","cited_by_count":5,"area":"lr"},{"id":"2409.12300","title":"Autoformalization of Game Descriptions using Large Language Models","created":"2024-09-18","cited_by_count":5,"area":null},{"id":"2412.08805","title":"Generative Agents for Multi-Agent Autoformalization of Interaction Scenarios","created":"2024-12-11","cited_by_count":5,"area":"agents"},{"id":"2510.19429","title":"NeSyPr: Neurosymbolic Proceduralization For Efficient Embodied Reasoning","created":"2025-10-22","cited_by_count":5,"area":"lr"},{"id":"2603.00142","title":"Evaluating Theory of Mind and Internal Beliefs in LLM-Based Multi-Agent Systems","created":"2026-02-24","cited_by_count":5,"area":"agents"},{"id":"2505.14141","title":"Building a Stable Planner: An Extended Finite State Machine Based Planning Module for Mobile GUI Agent","created":"2025-05-20","cited_by_count":4,"area":"agents"},{"id":"2508.03366","title":"A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning","created":"2025-08-05","cited_by_count":4,"area":"lr"},{"id":"2509.16590","title":"Question Answering with LLMs and Learning from Answer Sets","created":"2025-09-20","cited_by_count":4,"area":"lr"},{"id":"2604.00558","title":"STAR: Mitigating Cascading Errors in Spatial Reasoning via Turn-point Alignment and Segment-level DPO","created":"2026-04-01","cited_by_count":4,"area":"lr"},{"id":"2406.03367","title":"CLMASP: Coupling Large Language Models with Answer Set Programming for Robotic Task Planning","created":"2024-06-05","cited_by_count":3,"area":"lr"},{"id":"2407.20513","title":"Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Natural Language","created":"2024-07-30","cited_by_count":3,"area":null},{"id":"2503.05439","title":"An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning","created":"2025-03-07","cited_by_count":3,"area":"lr"},{"id":"2504.20643","title":"Cooking Up Creativity: Enhancing LLM Creativity through Structured Recombination","created":"2025-04-29","cited_by_count":3,"area":null},{"id":"2604.09712","title":"LAST: Leveraging Tools as Hints to Enhance Spatial Reasoning for Multimodal Large Language Models","created":"2026-04-08","cited_by_count":3,"area":"lr"},{"id":"2402.06608","title":"TIC: Translate-Infer-Compile for accurate \"text to plan\" using LLMs and Logical Representations","created":"2024-02-09","cited_by_count":2,"area":null},{"id":"2510.17491","title":"Empowering Real-World: A Survey on the Technology, Practice, and Evaluation of LLM-driven Industry Agents","created":"2025-10-20","cited_by_count":2,"area":"lr"},{"id":"2406.02804","title":"ACCORD: Closing the Commonsense Measurability Gap","created":"2024-06-04","cited_by_count":1,"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":"2407.19055","title":"Effective Large Language Model Debugging with Best-first Tree Search","created":"2024-07-26","cited_by_count":1,"area":null},{"id":"2606.31285","title":"Spatial Reasoning via Modality Switching Between Language and Symbolic Representations","created":"2026-06-30","cited_by_count":1,"area":"lr"},{"id":"2505.12328","title":"LLMSR@XLLM25: An Empirical Study of LLM for Structural Reasoning","created":"2025-05-18","cited_by_count":0,"area":"lr"},{"id":"2601.19915","title":"Modeling Next-Token Prediction as Left-Nested Intuitionistic Implication","created":"2026-01-07","cited_by_count":0,"area":null},{"id":"2603.18495","title":"Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning","created":"2026-03-19","cited_by_count":0,"area":"lr"},{"id":"2604.22306","title":"BLAST: Benchmarking LLMs with ASP-based Structured Testing","created":"2026-04-24","cited_by_count":0,"area":null},{"id":"2606.21740","title":"Training the Orchestrator: A Supervised Approach to End-to-End PDDL Planning with LLM Agents","created":"2026-06-19","cited_by_count":0,"area":"agents"},{"id":"2607.19365","title":"Logic-Guided Data Extraction with Answer Set Programming and Large Language Models","created":"2026-06-08","cited_by_count":0,"area":null},{"id":"2607.28086","title":"Distilling Answer Set Programming Theories from Large Language Models","created":"2026-07-30","cited_by_count":0,"area":null},{"id":"2608.29035","title":"EmoLASP: Emotion Recognition with Language Models and Answer Set Programming","created":"2026-08-29","cited_by_count":0,"area":null},{"id":"2609.23239","title":"SoK: Formal Methods for Fact-Checking and Information Integrity","created":"2026-09-19","cited_by_count":0,"area":null},{"id":"2609.34619","title":"LLMs for Executable Multi-Agent System Specification Generation","created":"2026-09-28","cited_by_count":0,"area":"agents"}],"next_cursor":null}