{"total":29,"rows":[{"id":"2410.14716","title":"A Systematic Survey on Large Language Models for Algorithm Design","created":"2024-10-11","cited_by_count":69,"area":null},{"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":"2404.03275","title":"DELTA: Decomposed Efficient Long-Term Robot Task Planning using Large Language Models","created":"2024-04-04","cited_by_count":33,"area":null},{"id":"2502.17898","title":"VeriPlan: Integrating Formal Verification and LLMs into End-User Planning","created":"2025-02-25","cited_by_count":20,"area":null},{"id":"2402.15368","title":"Probabilistically Correct Language-based Multi-Robot Planning using Conformal Prediction","created":"2024-02-23","cited_by_count":18,"area":null},{"id":"2406.10196","title":"TRIP-PAL: Travel Planning with Guarantees by Combining Large Language Models and Automated Planners","created":"2024-06-14","cited_by_count":17,"area":null},{"id":"2409.15915","title":"Planning in the Dark: LLM-Symbolic Planning Pipeline without Experts","created":"2024-09-24","cited_by_count":16,"area":null},{"id":"2504.21022","title":"ConformalNL2LTL: Translating Natural Language Instructions into Temporal Logic Formulas with Conformal Correctness Guarantees","created":"2025-04-22","cited_by_count":11,"area":null},{"id":"2505.16477","title":"Advancing the Scientific Method with Large Language Models: From Hypothesis to Discovery","created":"2025-05-22","cited_by_count":7,"area":null},{"id":"2410.19727","title":"FISHNET: Financial Intelligence from Sub-querying, Harmonizing, Neural-Conditioning, Expert Swarms, and Task Planning","created":"2024-10-25","cited_by_count":5,"area":null},{"id":"2409.00571","title":"Enhancing Source Code Security with LLMs: Demystifying The Challenges and Generating Reliable Repairs","created":"2024-09-01","cited_by_count":4,"area":null},{"id":"2404.04540","title":"The Case for Developing a Foundation Model for Planning-like Tasks from Scratch","created":"2024-04-06","cited_by_count":3,"area":null},{"id":"2407.18722","title":"Neurosymbolic AI for Enhancing Instructability in Generative AI","created":"2024-07-26","cited_by_count":3,"area":null},{"id":"2403.19275","title":"Knowledge Boundary and Persona Dynamic Shape A Better Social Media Agent","created":"2024-03-28","cited_by_count":2,"area":null},{"id":"2505.08492","title":"Achieving Scalable Robot Autonomy via neurosymbolic planning using lightweight local LLM","created":"2025-05-13","cited_by_count":2,"area":null},{"id":"2504.17070","title":"MuTRAP: Multi-trigger Trojans Attacking Robot Task Planning Systems","created":"2025-04-23","cited_by_count":1,"area":null},{"id":"2505.13497","title":"Learning Hierarchical Domain Models Through Environment-Grounded Interaction","created":"2025-05-15","cited_by_count":1,"area":null},{"id":"2510.09355","title":"NL2GenSym: Natural Language to Generative Symbolic Rules for SOAR Cognitive Architecture via Large Language Models","created":"2025-10-10","cited_by_count":1,"area":null},{"id":"2406.15961","title":"Automating Transfer of Robot Task Plans using Functorial Data Migrations","created":"2024-06-22","cited_by_count":0,"area":null},{"id":"2505.04493","title":"Model-Based AI planning and Execution Systems for Robotics","created":"2025-05-07","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":"2508.12840","title":"Scaling Multi-Agent Epistemic Planning through GNN-Derived Heuristics","created":"2025-08-18","cited_by_count":0,"area":null},{"id":"2511.18165","title":"Towards a General Framework for HTN Modeling with LLMs","created":"2025-11-22","cited_by_count":0,"area":null},{"id":"2602.14955","title":"Tool-Aware Planning in Contact Center AI: Evaluating LLMs through Lineage-Guided Query Decomposition","created":"2026-02-16","cited_by_count":0,"area":null},{"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":"2605.02765","title":"U-Define: Designing User Workflows for Hard and Soft Constraints in LLM-Based Planning","created":"2026-05-04","cited_by_count":0,"area":null},{"id":"2605.27610","title":"Eliot: Interactively $\\underline{E}$xploring Fast-Changing Scientific $\\underline{Li}$terature Trends with $\\underline{O}$nline Da$\\underline{t}$a and Learning","created":"2026-05-26","cited_by_count":0,"area":null},{"id":"2605.28666","title":"An LLM-Based Assistance System for Intuitive and Flexible Capability-Based Planning","created":"2026-05-27","cited_by_count":0,"area":null},{"id":"2607.17710","title":"Planning with Transformers: Chain of Computation and Structured Context Windows","created":"2026-07-20","cited_by_count":0,"area":null}],"next_cursor":null}