Search papers, labs, and topics across Lattice.
This study introduces the CT-TEL workflow, which utilizes Large Language Models (LLMs) to convert unstructured clinical trial protocols into formal Temporal Ensemble Logic (TEL) representations. By applying this method to 23 real-world trials, the researchers demonstrated that LLMs can effectively capture critical temporal phenotypes and maintain semantic fidelity through a back-translation evaluation. The findings indicate that LLMs could significantly enhance the automation of reasoning and simulation in clinical trial design, addressing a major barrier in the field.
LLMs can transform unstructured clinical trial protocols into formal logic, paving the way for automated reasoning in trial design.
The reliance on unstructured free text for documenting clinical trial protocols creates a significant barrier to automated reasoning, cohort discovery, and trial simulation. The lack of formal structure obscures critical temporal phenotypes, such as dynamic eligibility criteria and event timing constraints. Although Temporal Ensemble Logic (TEL) offers an expressive framework for modeling these elements, manual encoding remains a prohibitive bottleneck. We introduce the CT-TEL workflow: a scalable pipeline leveraging Large Language Models (LLMs) to translate narrative clinical protocols into TEL formulas. We applied CT-TEL to generate logical models for 23 real-world trials from ClinicalTrials.gov. We evaluated translation fidelity via a back-translation approach, using LLMs to convert TEL formulas back into natural language and measuring semantic similarity against source texts. The resulting semantic retention suggests that LLMs may offer a pathway for mapping informal protocols to computable logic, providing preliminary evidence toward scalable clinical trial emulation within the emerging "Symbolic Biomedicine" paradigm championed by the corresponding author.
