ai-planning

/wayfinder 是一款规划工具，帮助开发者通过确定可操作的步骤，并在 GitHub 或 Linear 等问题追踪器中维护路线图，来规划宏大的项目。它被誉为编程工作规划的革新工具。

谷歌DeepMind正与英国政府合作，利用Gemini开发一款AI驱动的规划原型，旨在将处理住户规划申请的时间减半，并帮助在2029年前建造150万套新住房。

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

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

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

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