Search papers, labs, and topics across Lattice.
This paper addresses the limitations of general agents in the big-world regime, proving that they cannot be universally capable and that standard worst-case analyses are insufficient. To tackle this issue, the authors introduce structural certification, a framework that connects bounded goal-conditioned performance to guarantees on the agent's internal world model. The key result is the development of algorithms that filter transitions using deep compositional goals, achieving a structural world model with a tight error bound of $\mathcal{O}(1/n) + \mathcal{O}(未)$, thus enabling certifiable deployment of general agents in specific contexts.
General agents can be certified for reliable long-horizon planning by localizing transitions, revealing a new pathway to effective deployment in complex environments.
In the big-world regime, agents cannot be universally capable and their ability is inevitably specialized across a world model in pieces. Consequently, standard uniform guarantees fail to distinguish between the understanding of critical bottlenecks and irrelevant failures. We first formalize this limitation by proving that general agents are not universal, rendering standard worst-case analysis uninformative. To overcome this, we introduce structural certification, a transition-local framework that maps bounded goal-conditioned performance to entry-wise guarantees on the agent's internal world model. Our main contribution is constructive. We provide algorithms that filter specific transitions using deep compositional goals and prove that a general agent on these goals has a structural world model with a $\mathcal{O}(1/n) + \mathcal{O}(未)$ error bound. Conversely, this bound is tight in the small-$未$ regime, whose existence is explicitly guaranteed by our certification. These results enable the certifiable deployment of general agents by localizing the specific transitions where long-horizon planning is reliable.
