研究评测研究论文

ANIS 从软件演进轨迹合成代理原生界面

10 月 11 日发布的 ANIS 用历史软件版本构造 DeskIF-Bench,并尝试把代理操作面自动收缩为可发现、原子且可验证的命令集合。

为什么值得关注

给代理暴露完整人类界面或底层 SDK 都可能带来过大的搜索空间。该研究把“生成什么界面”本身变成可用任务成功率和工件状态检验的优化问题。

技术细节

DeskIF-Bench 含 6 个应用的 255 个工件验证任务,以同一脚手架、任务和验证器比较历史版本。ANIS 又在 8 个应用、368 个任务上评估合成接口。作者报告:DeepSeek V4 Flash 的总体 pass@3 从原生 SDK 的 68.5% 提至原子接口的 72.3%,目标级接口为 74.5%;两种模型的令牌用量约降 73%–75%。代码与数据已公开。

适合哪些读者

设计代理工具面、桌面自动化基准和可验证生成式 UI 的研究与平台团队

原始来源

修订与更正记录 (1)

— Historical backfill found outside the directory; paper, repository and dataset read, with results, limits and counterexamples preserved.

相关事件

研究评测

另一项 VeriCUA 把 GUI 任务验收改为主动取证,并允许证据不足时弃权

Google 与香港大学团队 10 月 29 日提交了一项同名但独立的 VeriCUA:验证器先查看环境或轨迹建立任务 rubric,再用 GUI、无障碍树、文件、数据库等只读检查补齐证据,并把需求判为满足、违反或未知。在线实验中,它在 AndroidWorld、OSWorld 与 ScienceBoard 上均降低了相对基线的假阳性。

研究评测

GUI‑JEPA 用候选隐空间打分替代逐 token 动作解码

10 月 27 日提交的 GUI‑JEPA 面向移动 GUI 单步动作选择:它把无标签界面截图预训练得到的 JEPA 表征按候选动作和区域变换,在一次批处理中为无障碍树候选打分,不再让 7B 视觉语言模型逐 token 生成动作。

研究评测

TAM 把已核验的任务进展变成 GUI 代理的在线状态与可复用操作

10 月 27 日提交的 Task Advancement Memory(TAM)把“已经可靠完成了什么”同时用于当前任务压缩和跨任务学习:任务内维护可核验的进展、剩余目标与视觉证据,任务后从局部成功片段中提炼可复用操作,即使整条工作流最终失败。