Search papers, labs, and topics across Lattice.
The paper introduces PreAct, a novel framework for computer-using agents that enables them to accelerate task execution by compiling successful task runs into state-machine programs. By replaying these programs, PreAct achieves speedups of 8.5-13x without incurring the overhead of per-step language model calls, while ensuring correctness through real-time screen checks. The method demonstrates significant improvements across various benchmarks, achieving 1.75-2.6 additional tasks solved per benchmark, while effectively filtering out faulty programs that could degrade performance.
PreAct allows agents to execute previously learned tasks up to 13 times faster, fundamentally changing how we approach task repetition in AI.
Computer-using agents drive real software through the screen -- clicking and typing -- but they solve every task from scratch: asked to repeat a task, an agent re-reads the screen, re-reasons every tap, and pays the full cost again. We present PreAct, which lets such an agent get faster on tasks it has done before. The first time it succeeds, PreAct compiles the run into a small state-machine program-states that check the screen, transitions that act-and on later runs replays it directly instead of invoking the agent 8.5-13x faster, with no per-step language-model calls. Replay is not blind: at each step PreAct checks that the screen matches what the program expects before acting, and hands control back to the agent the moment something is off. PreAct applies the same discipline when deciding what to keep: a freshly compiled program enters the store only if, re-run from a clean state, an independent evaluator confirms it solved the task-catching programs that replay to their last step yet leave the task undone. Across a mobile, a desktop, and a web benchmark, this store-time check separates repeated runs that improve from ones that degrade as faulty programs accumulate, worth 1.75-2.6 tasks per benchmark, the same direction on all three; a fallback that explores afresh when no program fits brings PreAct level with a strong record-and-replay baseline. We also report what did not matter: prompt wording, runtime guardrails, and whether a language model or a plain embedding retriever selects which program to reuse.
