Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study

TL;DR - CT-TEL uses LLMs to translate free-text clinical trial protocols into Temporal Ensemble Logic formulas, potentially enabling scalable automated reasoning and trial simulation.

• The workflow modeled 23 real-world protocols from ClinicalTrials.gov.
• TEL captures dynamic eligibility criteria and event-timing constraints that unstructured text obscures.
• Translation fidelity was assessed by back-translating formulas into natural language and comparing semantic similarity with the source.
• Preliminary semantic-retention results support further study but do not yet establish clinical validity.