PulseAugur
实时 08:37:27
English(EN) Scaling Up Formal Representation of Clinical Trial Protocols in Ensemble Logic Using LLMs: A Preliminary Study

大型语言模型将临床试验方案翻译成“符号生物医学”的正式逻辑

研究人员开发了一种名为 CT-TEL 的新工作流程,该工作流程使用大型语言模型 (LLM) 将非结构化的临床试验方案转换为称为时间集成逻辑 (TEL) 的正式逻辑表示。这种方法旨在克服自由文本文档的局限性,这些局限性阻碍了临床试验中的自动推理和模拟。CT-TEL 工作流程应用于 23 项真实世界试验,反向翻译评估表明,大型语言模型可以将非正式方案有效映射到可计算逻辑,从而支持新兴的“符号生物医学”领域。 AI

影响 通过形式化非结构化数据,能够为临床试验实现更强大的自动推理和模拟。

排序理由 该集群包含一篇详细介绍新方法及其应用的学术论文。[lever_c_demoted from research: ic=1 ai=1.0]

在 arXiv cs.AI 阅读 →

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →

大型语言模型将临床试验方案翻译成“符号生物医学”的正式逻辑

报道来源 [1]

  1. arXiv cs.AI TIER_1 English(EN) · Yan Huang, Xubing Hao, Xiaojin Li, Rashmie Abeysinghe, Xiaoqian Jiang, Licong Cui, Guo-Qiang Zhang ·

    使用大型语言模型扩展临床试验方案在集成逻辑中的形式化表示:一项初步研究

    arXiv:2607.21307v1 Announce Type: cross Abstract: 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 …