Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study
Ranking
Overall
74
Content
75
Popularity
70
Observed public metrics from 1 member.
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
Public signals
Semantic Scholar citations 1 · Semantic Scholar influential citations 0
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.