TY - RPRT TI - Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study AU - Yan Huang AU - Xubing Hao AU - Xiaojin Li AU - Rashmie Abeysinghe AU - Xiaoqian Jiang AU - Licong Cui AU - Guo-Qiang Zhang PY - 2026 UR - https://arxiv.org/abs/2607.21307 ID - 2607.21307 ER -