Tag
Introducing /improve, a tool that uses Claude's most capable model to audit your codebase, identify bugs, performance issues, tech debt, missing tests, and write plans that cheaper models can execute.
This paper introduces the concept and architecture of a Business World Model (BWM), a specialized world model for business environments that encodes states, dynamics, constraints, and objectives to support autonomous decision-making and goal-driven planning.
This paper introduces OCLGen, a compute-efficient test-time search algorithm that integrates generative planning models with a classical Open-Closed List framework, improving solution quality across combinatorial planning domains.
This paper investigates how to encode factored planning tasks (FTS) into SAT, proposing multiple encoding strategies and analyzing the impact of task transformations on SAT-based planning performance. It aims to extend SAT solving to more compact planning representations beyond heuristic search.