
Title |
|---|
![]() LLMs as Planning Formalizers: A Survey for Leveraging Large Language Models to Construct Automated Planning ModelsAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 |
![]() Entropy-based Exploration Conduction for Multi-step ReasoningAnnual Meeting of the Association for Computational Linguistics (ACL), 2025 |
![]() SagaLLM: Context Management, Validation, and Transaction Guarantees for Multi-Agent LLM PlanningProceedings of the VLDB Endowment (PVLDB), 2025 |
Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language ModelsJournal of Artificial Intelligence Research (JAIR), 2025 |
LLM+AL: Bridging Large Language Models and Action Languages for Complex Reasoning about ActionsAAAI Conference on Artificial Intelligence (AAAI), 2025 |