Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language InstructionTathagata ChakrabortiJung koo Kanget al.2024AAAI 2024
ACPBench Hard: Unrestrained Reasoning about Action, Change, and PlanningHarsha KokelMichael Katzet al.2025AAAI 2025
Thought of Search: Planning with Language Models Through The Lens of EfficiencyMichael KatzHarsha Kokelet al.2024NeurIPS 2024
Automating Thought of Search: A Journey Towards Soundness and CompletenessDaniel CaoMichael Katzet al.2024NeurIPS 2024
Hierarchical Reinforcement Learning with AI Planning ModelsJunkyu LeeMichael Katzet al.2023NeurIPS 2023
IPC: A Benchmark Data Set for Learning with Graph-Structured DataPatrick FerberTengfei Maet al.2019ICML 2019