Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study
Merged summary
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.
Sources (1)
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.