Towards autonomous biology: Compiler-Verified Protocols as a Foundation for Real World AI Execution
Renjian Song, Yaokai Fu, Ziyan Zhao, Jigang Yu, Qing Yuan, Chang-Ting Chen
This paper introduces BPL, a compiler-verified language for biology protocols, and demonstrates its ability to convert natural language SOPs into reproducible, physically valid protocols with high fidelity.
bioRxiv · May 7, 2026 · PreprintSynthetic Biology