从 Atomic Red Team 技术生成符号化攻击链：谓词表示粒度的实证研究

该研究以大语言模型将 Atomic Red Team 技术翻译为 PDDL 符号表示，再由 Fast Downward 确定性规划器生成攻击链，对比 AURORA 的九类 AALM 与基于执行证据归纳的五类方案。在仅含16项技术的语料上，两种粒度有81.3%的结果一致，计划有效性与成本总体差异不大；更细粒度主要改善计划理由的内部结构分辨率。