TY  - RPRT
TI  - Generating Bounded Linear Temporal Logic in Systems Biology with Large Language Models
AU  - Tang, D.
AU  - Miskov-Zivanov, N.
PY  - 2025
DO  - 10.1101/2025.08.06.668950
UR  - https://www.biorxiv.org/content/10.1101/2025.08.06.668950v1
ID  - 10.1101/2025.08.06.668950
ER  -