arXiv cs.AI· Yves Delley, John Coller, Zachary Cutts, Alexander Daryin, Mathias Bellaiche, Jun W. Kim, Oscar Donosa, Srinidhi B. Seshadri, Tanner Clary, Sandy Klemm, Avinatan Hassidim, Yossi Matias, Pooja Rao, Petar Sirkovic, Annalisa Pawlosky·· 12 小时前AI 评分38
VERID：为自动化实验室中的智能体自博弈提供语义表示
Semantic Representation for Agentic Self-Play in Automated Laboratories
AI 导读
研究团队提出 VERID——面向发现实验室的已验证基础设施，为实验室工作单元构建持久的高保真语义数字孪生，提供可查询内省、时间压缩仿真、完整轨迹留存与安全执行框架四项核心服务。
正文 · 原文
Authors:Yves Delley, John Coller, Zachary Cutts, Alexander Daryin, Mathias Bellaiche, Jun W. Kim, Oscar Donosa, Srinidhi B. Seshadri, Tanner Clary, Sandy Klemm, Avinatan Hassidim, Yossi Matias, Pooja Rao, Petar Sirkovic, Annalisa Pawlosky
Abstract:Navigating complex, high-dimensional biological search spaces necessitates scalable physical and computational intelligence to explore beyond local optima through iterative self-play across ideation, experimentation, and automation. Translating experimental designs into reliable physical execution remains bottlenecked by static laboratory automation and unmodeled physical variability. To address this, we introduce VERified Infrastructure for Discovery Laboratories, or VERID, a foundational infrastructure designed to bridge the gap between the high-level reasoning of artificial intelligence (AI) agents and complex, error-prone physical realities of wet labs. VERID is a persistent, high-fidelity semantic digital twin of the laboratory workcell that provides four core services: queryable introspection for agentic reasoning, time-compressed simulation for protocol validation, comprehensive trace persistence for a complete scientific record, and a framework for safe execution.
We present three case studies using aqueous dye and deionized water mixtures to validate the optical and fluidic foundations of VERID. These studies demonstrate how VERID enables pre-emptive detection of critical errors in experimental protocols, stateful mid-run error recovery and post-hoc identification of subtle physical failures. The simulation functions as a discrete accounting engine, allowing agents to safely and inexpensively explore experimental designs in silico and refine experimental strategies through iterative self-play. VERID also captures structured multimodal experimental data for downstream analysis, knowledge mining and agent training. We argue that this semantic layer is an essential prerequisite for deploying autonomous agents in the biochemical and biomedical sciences, ensuring data integrity, operational safety, and paving the way for tackling previously intractable grand challenges in biology.
| Comments: | 16 pages, 4 figures |
| Subjects: | Robotics (cs.RO); Artificial Intelligence (cs.AI) |
| ACM classes: | I.2.9; I.2.11; J.3 |
| Cite as: | arXiv:2610.32755 [cs.RO] |
| (or arXiv:2610.32755v1 [cs.RO] for this version) | |
| https://doi.org/10.48550/arXiv.2610.32755 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Yves Delley [view email]
[v1]
Fri, 23 Oct 2026 15:00:16 UTC (2,306 KB)
来源：arXiv cs.AI · arxiv.org