PDDL

条目：4

2026年三月 2 篇

类型	阅读	条目
[自动] [ARXIV]	3min	school Reasoning Core：符号模型预训练与后训练的程序化数据生成套件 03-04 符号推理数据生成 Reasoning Core
[自动] [ARXIV]	3min	school Reasoning Core：面向符号预训练与后训练的可扩展程序化数据生成套件 03-03 Reasoning Core 符号推理数据生成

2026年一月 2 篇

类型	阅读	条目
[自动] [ARXIV]	4min	school SokoBench：评估大模型长周期规划与推理能力 01-30 SokoBench 长周期规划推理能力
[自动] [ARXIV]	4min	school SokoBench：评估大模型长程规划与推理能力 01-29 SokoBench 长程规划推理能力