@misc{indiciae9c7f3e14e3d6,
  title = {Generating Bounded Linear Temporal Logic in Systems Biology with Large Language Models},
  author = {Tang, D. and Miskov-Zivanov, N.},
  year = {2025},
  doi = {10.1101/2025.08.06.668950},
  url = {https://www.biorxiv.org/content/10.1101/2025.08.06.668950v1},
  note = {Source identifier: 10.1101/2025.08.06.668950}
}