清华联手高德发布 OmniVerifier-C1：把二元验证器升级为细粒度打分
Bowei Liu · hf · 2026-10-16
清华大学、高德（阿里巴巴）等机构发布论文 OmniVerifier-C1，面向规则约束的生成式世界建模提出分解式分级视觉验证器。
- 摆脱只输出 True/False 的传统二元验证器，自动把复杂 prompt 或环境规则分解为细粒度组件并逐点打分，提供连续、更具信息量的 critique 信号
- 提出 Decoupled RL 训练策略，联合优化子问题级二元判断与全局对齐打分，用精确局部反馈训练全局细粒度验证能力
- 实验表明结构化可解释输出显著提升验证器在域外多模态 critique 任务上的泛化，并增强结构化世界建模精度
- 论文链接：github.com/Cominclip/OmniVerifier
「研究」频道最新
- Kornia 开源 Rust 版视觉惯性 SLAM 管线 kornia-slam v0.1 — edgarriba · 2026-10-16
- 可解释性之争:单个多义神经元可解释,不代表全部如此 — aran_nayebi · 2026-10-16
- Optuna 作者秋叶哉：花3亿日元调2个超参的时代，BO/HPO 还有何用武之地 — Stefania_druga · 2026-10-16
- 学者争论：AI 将超越人类做科学，欧洲躲不开只能用别人的 — teortaxesTex · 2026-10-16
- 上海 AI Lab 提出 SERO：用可执行 Oracle 续跑训练长程智能体强化学习 — Shanghai-AI-Laboratory · 2026-10-16
- 阿里开源 MAI-Gym：移动与桌面 GUI Agent 评测加强化学习训练一体化平台 — Tongyi-MAI · 2026-10-16