Task Model Induction Converts Computer-Use Traces Into Reusable Symbolic Models · Digg