ai-planning

介绍 /improve，这是一个工具，它利用 Claude 的最强模型来审查你的代码库，识别 bug、性能问题、技术债务、缺失的测试，并编写计划供更便宜的模型执行。

本文介绍了商业世界模型（BWM）的概念与架构。BWM是一种针对商业环境专门化的世界模型，能够编码状态、动态、约束与目标，以支持自主决策和基于目标的规划。

本文介绍了OCLGen，一种计算高效的测试时搜索算法，它将生成式规划模型与经典的开闭列表框架相结合，提高了组合规划领域的解质量。

本文研究了如何将因子化规划任务（FTS）编码为SAT，提出了多种编码策略，并分析了任务转换对基于SAT的规划性能的影响。其目的是将SAT求解扩展到比启发式搜索更紧凑的规划表示。