10.1101/2025.08.06.668950

Generating Bounded Linear Temporal Logic in Systems Biology with Large Language Models

2025-08-09