約束滿足式檢索

SatIR

SatIR：高召回率與可解釋性的約束滿足式臨床試驗檢索系統

臨床試驗招募常因匹配困難而受阻。SatIR 以可滿足理論與關係代數形式化患者與試驗條件，並用大型語言模型將模糊資訊轉為明確約束。實驗顯示其召回提升 22‑38 點，檢索速度僅 2.95 秒/患者，顯著優於既有方法。