Action Conditioned Bisimulation For GUI Agent Memory

Hongbo Zhang , Liuyang Song , Quanquan Li , Daqian Yang , Yan Wen , Zhengtao Yao

🏛 Institutions: PKU , East China Normal University , USC
📅 Date: September 30, 2026
📑 Publisher: arXiv
💻 Env: Web
🔑 Keywords: bisimulation memory state abstraction MiniWoB training-free

TLDR

Defines when a web agent's memory should treat two pages as the same state using an action-conditioned bisimulation over the empirical state graph a frozen agent builds as it acts: two states merge only when their shared actions lead to agreeing outcomes. Nothing is trained, and replacing an outcome-value memory's merge rule with it raises success on MiniWoB++.

Open paper Report issue