Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper introduces CordisBench, a benchmark designed to evaluate language models' reasoning capabilities regarding component lifecycles in dynamic agent harnesses. By presenting 1,200 questions that require models to navigate dependencies and cleanup processes, the study reveals that while models perform well on smaller systems, their reliability diminishes significantly as the complexity of interactions increases. Notably, the research finds that increasing inference effort can yield substantial improvements in performance, although at a high token cost, indicating a trade-off between reasoning depth and efficiency.
Language models struggle with lifecycle reasoning in complex systems, often faltering as interaction complexity increases, but additional inference effort can unlock significant performance gains.
Dynamic agent harnesses let language models change the software that shapes their own execution. This flexibility brings a new reasoning burden: a local plugin change can propagate through dependencies and cleanup. We introduce CordisBench, a 1,200-question benchmark of this lifecycle reasoning. It combines a controlled formal setting with programs executed against Cordis, a runtime that manages component dependencies and cleanup, and asks models to identify affected components, predict state after a specified teardown order, determine which conditions hold under all or some orders, and choose reconfigurations that succeed when executed. Across these tasks, we evaluate three efficiency-oriented models at low reasoning effort with 2, 4, 8, 16, 24, or 32 relevant interactions, using deterministic task-specific scoring. Models usually handle small systems well but grow less reliable as more interactions become relevant, especially when predicting final state and when reasoning across teardown orders. Additional inference effort recovers marked gains for some models. The cost is nontrivial: on our 16-interaction subset, GPT-5.6 Luna uses nearly 3,000 reasoning tokens per question at medium effort. For these controlled instances, that cost is avoidable: an independent finite reference semantics agrees with Cordis execution on every observation and action outcome used for scoring across all 528 executable questions.