Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction
- Tathagata Chakraborti
- Jung koo Kang
- et al.
- 2024
- AAAI 2024
Publications
Date
Featured collections
Popular topics
82 results for Michael Katz
ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning
- Harsha Kokel
- Michael Katz
- et al.
- 2025
- AAAI 2025
ACPBench: Reasoning about Action, Change, and Planning
- Harsha Kokel
- Michael Katz
- et al.
- 2025
- AAAI 2025
Thought of Search: Planning with Language Models Through The Lens of Efficiency
- Michael Katz
- Harsha Kokel
- et al.
- 2024
- NeurIPS 2024
Automating Thought of Search: A Journey Towards Soundness and Completeness
- Daniel Cao
- Michael Katz
- et al.
- 2024
- NeurIPS 2024
Hierarchical Reinforcement Learning with AI Planning Models
- Junkyu Lee
- Michael Katz
- et al.
- 2023
- NeurIPS 2023
Towards More Likely Models for AI Planning
- Turguy Caglar
- Sirine Belhaj
- et al.
- 2023
- NeurIPS 2023
IPC: A Benchmark Data Set for Learning with Graph-Structured Data
- Patrick Ferber
- Tengfei Ma
- et al.
- 2019
- ICML 2019
Workshop on Planning in the Era of LLMs
- Michael Katz
- Jiayuan Mao
- et al.
- 2025
- AAAI 2025
AI Planning: Theory and Practice
- 2022
- AAAI 2022