代理工具
PDDLCoder Lets Agents Iteratively Fix PDDL, Achieving an 89.6% Executable Success Rate on 106 Unseen Planning Problems
Rather than requiring a language model to directly generate long-horizon action sequences, PDDLCoder first constructs a PDDL world model that can be verified by a symbolic planner. DeepSeek V4 Flash solved 95 of 106 problems across four held-out domains, but results for different base models ranged from 89.6% to zero, showing that the framework’s effectiveness depends heavily on a model’s ability to follow formatting requirements and use tool feedback.