arXiv cs.AI· Zhengyang Zhang, Jing Xiong, Hongzhou Lin, Juihui Chung, Zijian Zhang, Song Han, Sihao Liu, Ligeng Zhu·· 1 天前AI 评分41
HOA:面向奥赛解题的多会话智能体工作流,用 GPT-5.6 Sol 在 IMO、IPhO、IOI 2026 拿满分
Humanize Olympiad Agents: A Multi-Session Workflow for Olympiad Problem Solving with Solve, Review, Wiki, Verify
AI 导读
研究者提出 HOA(Humanize Olympiads Agent),一个通过独立评审、结构化 wiki 和 Lean 证明验证三条反馈通道协调多会话智能体的开放框架。
来源:arXiv cs.AI · arxiv.org