paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multi-Agent Differential Testing for the Game of Go

面向围棋的多智能体差分测试
FSE Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering2025匹配度 3/10 · 论文聚焦围棋 AI 智能体的差分测试,属于软件测试与 AI 系统评估,与用户核心的静态分析、LLM/Agentic 程序分析、浮点程序分析及贝叶斯程序分析无直接交集。其“多智能体差分测试”虽与测试/调试相关,但对象是围棋智能体而非 LLM 或程序分析工具。引用 2 inbox
Jiaxue Song, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Yong Liu, Bin Du
crossref: 2026-09-12

AI 速览

一句话:提出 MAD4Go,通过多个围棋智能体对同一局面的判断分歧,自动发现可能包含非最优落子的测试。

评估围棋 AI 智能体的决策质量十分困难,因为其水平远超人类,难以用直觉规则或人类专家大规模判断某一步是否最优。本文提出多智能体差分测试方法 MAD4Go:让不同围棋智能体在相同测试局面上行棋,检查它们是否一致;当不一致时进一步度量分歧程度,并认为强烈分歧更可能意味着至少一方做出了错误决策。实验以 Leela Zero 的不同围棋智能体为对象,使用职业棋手真实对局中得到的多种局面作为测试。结果显示智能体之间存在多样化分歧,表明 MAD4Go 能够识别有价值的测试,用于暴露潜在的非最优着法。

问题
如何自动、大规模地发现围棋 AI 智能体可能做出非最优落子的测试局面,避免依赖难以扩展的人类专家判断或简单直觉规则。
方法
提出 MAD4Go:在同一测试局面上运行多个围棋智能体并比较其决策是否一致,对分歧进行度量,用强分歧作为潜在错误信号。
评估
使用来自 Leela Zero 的多个围棋智能体,并以职业棋手真实对局产生的不同围棋局面作为测试;实验观察到多种分歧,说明方法可识别有价值的测试。
原文摘要(Abstract)

Artificial intelligent (AI) techniques have been successfully applied in various domains, especially in complex games like Go. Indeed, although Go has simple rules, it has countless variations of possible positions, making it an extremely difficult game. Therefore, it has been taken as a benchmark to assess the abilities of AI agents (called Go Agents). However, assessing the performance of the decision-making of a Go agent is challenging; indeed, since Go agents play much better than humans, it is difficult to establish intuitive rules or to rely on human experts to determine whether a Go agent's decision is correct or not. While professional players can do it, they can not evaluate too many moves. To tackle these issues, in this paper we propose a differential testing approach, called Multi-Agent Differential testing For the game of Go (MAD4Go), to identify interesting tests in which a Go agent may perform a non-optimal move. Specifically, we play different Go agents over the same tests and we check whether they agree with each other. In case of disagreement, we assess the level of disagreement. If two agents strongly disagree with each other, it is more likely that at least one agent made a wrong decision. We conducted experiments by evaluating Go agents from Leela Zero, using as tests different Go positions obtained from real Go games of professional players. Results revealed diverse disagreements among agents, showing that MAD4Go can identify valuable tests.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot9058,
  title = {Multi-Agent Differential Testing for the Game of Go},
  author = {Jiaxue Song and Xiao-Yi Zhang and Paolo Arcaini and Fuyuki Ishikawa and Yong Liu and Bin Du},
  booktitle = {FSE},
  year = {2025},
  doi = {10.1145/3696630.3730553}
}