计算生物学
人工智能在生物医学研究中的应用，日益依赖于这样一种迭代循环：AI 系统分析实验数据，提出后续实验条件，并以规模化方式驱动自动化执行；这一范式是 Bio-AI 和自主实验室科学的核心。为了使此类循环得以运行，实验室协议必须以一种既可供人类阅读、又可由机器执行的形式加以表达。作为当前实验室实践标准的自然语言描述，并不能满足这一双重要求。我们提出了 Culsma，这是一种形式化语言与执行框架，可将实验室协议从非正式散文提升为语义明确的工作流程序，从而能够在不同环境中被分析、验证、执行和迁移。
同一份协议既可以由台式实验科学家阅读和核验，也可以由自动化流水线在无需重新翻译的情况下进行解析、验证和执行。我们展示了一个端到端实现，为其实践可行性提供了具体证据。
作者声明不存在竞争性利益。
感谢您关注并帮助传播 bioRxiv 的相关信息。
📄 原文链接：https://www.biorxiv.org/content/10.64898/2026.05.07.723509v1?rss=1
🏷️ 实验室自动化 形式化语言 实验协议 工作流执行 Bio-AI