Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
Keshav Ramani, Vali Tawosi, Salwa Alamir +1
We introduce a novel framework for evaluating the alignment between natural language plans and their expected behavior by converting them into Kripke structures and Linear Temporal…
cs.AI2025
GenPlanX. Generation of Plans and Execution
Daniel Borrajo, Giuseppe Canonaco, Tomás de la Rosa +10
Classical AI Planning techniques generate sequences of actions for complex tasks. However, they lack the ability to understand planning tasks when provided using natural language.…