Search bioRxiv⌕ Search
Home/Archive/bioRxiv

bioRxiv · 10.64898/2026.05.05.720956

Towards autonomous biology: Compiler-Verified Protocols as a Foundation for Real World AI Execution

Song, R.·Fu, Y.·Zhao, Z.·Yu, J.·Yuan, Q.·Chen, C.-T.
View original source ↗Export metadata ↓

Abstract

Artificial intelligence has advanced from analyzing experimental data to autonomously generating hypotheses, designing experiments, and coordinating closed loop discovery. Yet the translation from computational reasoning to physical execution remains bottlenecked by the experimental protocol, which in biology still relies on ambiguous natural-language descriptions: a medium other engineering disciplines abandoned decades ago in favor of compiler verified specification languages. This deficit fragments reproducibility along three axes: protocol accuracy, pre execution verification, and cross platform portability. Existing formalisms address only subsets of these challenges, trading expressiveness for rigor, portability for standardization, or usability for provenance. Here we introduce the Biology Protocol Language (BPL), a domain specific language with a biology-native type system in which every quantity carries physical units, every reagent declares its physical form, and every container maintains compiler-tracked state, so that implicit assumptions must be stated explicitly and physically impossible operations are rejected at compile time. We further develop BPL-COGEN, a pipeline that couples a fine tuned 30 billion parameter language model with the deterministic compiler in a closed generate validate repair loop, iteratively correcting the translation from natural language SOPs to BPL through compiler diagnostics until all physical, dimensional, and state constraints are satisfied. On a benchmark of 300 published Nature Protocols papers, BPL COGEN achieved an overall fidelity score of 95.1 against the source protocols as ground truth. Wet-lab experiment and cross-platform validation in GFP expression library construction and HPLC to UHPLC method translation confirmed that a single BPL source yielded reproducible execution across manual and liquid handler assisted contexts. The results established a novel pipeline that generates compiler-verified protocols, which is an essential prerequisite for physically embodied AI in biology.

Explore related subjects

synthetic biologyPreprint

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Song, R., Fu, Y., Zhao, Z., Yu, J., Yuan, Q., Chen, C.-T.. 2026-05-07. Towards autonomous biology: Compiler-Verified Protocols as a Foundation for Real World AI Execution. https://doi.org/10.64898/2026.05.05.720956

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related preprints

bioRxiv2026

Gene expression noise is reduced in communicating synthetic cell populations

A major goal in bottom-up synthetic biology is the construction of multicellular synthetic systems capable of coordinated and robust collective behaviours. However, robustness is often limited by noise and variability arising from increased molecular complexity. Whilst communication has been implemented in synthetic multi-cellular systems, the ability for communication to suppress cell free gene expression variability in populations of synthetic cells remain unexplored. To address this, we encapsulated the Lux and Las quorum sensing gene circuits in lipid vesicles under cell-free conditions to test the effect of communication on reducing cell-free gene expression variability across the population. Our results show that communication, limiting expression resources, and membrane surface effects can reduce gene expression variability. Resource limited Gillespie simulations for transcription and translation show that communication-mediated coupling reduces population-level expression noise under constrained and excess resource conditions. Together, our work provides simple strategies to reduce gene expression variability and thereby improve robustness in synthetic multicellular systems, an important criteria for the future applications of synthetic cells.

synthetic biology↗
bioRxiv2026

Boolean Logic-responsive FRET Biosensors via Genetically Encoded Autonomous Compilation

Forster resonance energy transfer (FRET) is commonly used to monitor protein-protein interactions in situ. The high spatiotemporal resolution and facile implementation inside complex molecular environments have spearheaded FRET's widespread adoption in biosensing. Despite these advantages, current FRET biosensors are largely restricted to the detection of the presence/absence of individual inputs and are thus unable to sense several multiplexable inputs simultaneously within complex milieu of biological environments. In this work, we introduce a generalizable strategy to construct genetically encoded protein-based FRET biosensors capable of recognizing multiple inputs following Boolean logic-type (YES/OR/AND) operations. These topologically specified FRET sensors powerfully expand the input capacity in sensing protein-protein interactions while providing a user-programmable platform for monitoring heterogeneous biological activities both in vitro and in living cells.

synthetic biology↗
bioRxiv2026

AI-Guided Multi-Objective Engineering of Glucoamylase Enables Acidification-Free Starch Saccharification

Glucoamylase is essential for industrial starch saccharification, but the limited thermostability and near-neutral pH tolerance of fungal glucoamylases necessitate cooling and acidification of liquefied starch. Here, we developed an artificial intelligence-guided strategy to simultaneously improve the thermostability, pH tolerance, and catalytic activity of glucoamylase from Penicillium oxalicum (PoGA). Two property-specific machine-learning models, CASPE-T and CASPE-A, identified substitutions associated with thermostability and pH tolerance, respectively. Experimental screening identified beneficial substitutions in 11 of 21 CASPE-T and 12 of 22 CASPE-A candidates. Folding-energy-guided recombination integrated the two traits while maintaining structural compatibility. The optimal variant, PoGA T513E/Q305N, exhibited 2.21-fold higher specific activity than the wild type, with half-life extended from 22.3 to 57.9 min at 60 degrees C and from 16.6 to 64.7 min at pH 8.0. Molecular dynamics simulations attributed these improvements to reinforcement of high-occupancy hydrogen-bonding networks, suppression of conformational fluctuations in the linker and carbohydrate-binding module, enhanced long-range dynamic coordination, and preservation of a compact catalytic architecture. At 60 degrees C and pH 6.5 without acidification, PoGA T513E/Q305N produced 219.9 g/L glucose and achieved 89.1% starch conversion, 31.4% higher than the wild type. This work provides an efficient framework for multi-objective enzyme engineering and sustainable starch biorefining.

synthetic biology↗