Search papers, labs, and topics across Lattice.
1
0
3
Solvable does not mean faithful: automated planners routinely validate and execute LLM-generated PDDL instances that completely corrupt the user's intended initial states and goal specifications.