On Automating Security Policies with Contemporary LLMs
- Pablo Fernandez Saura
- Jayaram Kr Kallapalayam Radhakrishnan
- et al.
- 2025
- SSE 2025
Publications
160 results for AI Planning
Study planning assistant: Supporting material discovery with agentic workflows
- Viviane T. Silva
- Renato Fontoura de Gusmao Cerqueira
- et al.
- 2025
- ACS Spring 2025
ACPBench: Reasoning about Action, Change, and Planning
- Harsha Kokel
- Michael Katz
- et al.
- 2025
- AAAI 2025
Automating Thought of Search: A Journey Towards Soundness and Completeness
- Daniel Cao
- Michael Katz
- et al.
- 2025
- AAAI 2025
ACPBench: Reasoning about Action, Change, and Planning
- Harsha Kokel
- Michael Katz
- et al.
- 2025
- AAAI 2025
ACPBench Hard: Unrestrained Reasoning about Action, Change, and Planning
- Harsha Kokel
- Michael Katz
- et al.
- 2025
- AAAI 2025
Workshop on Planning in the Era of LLMs
- Michael Katz
- Jiayuan Mao
- et al.
- 2025
- AAAI 2025
Bridging Planning and Reasoning in Natural Languages with Foundational Models (PLAN-FM)
- 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