ProCARE：用 Profile-Grounded 证据契约实现真实世界研究自动化

ProCARE 将真实世界研究（RWS）自动化重构为受约束的编译过程，把异构数据画像转为 Evidence Contracts，并将研究目标编译为强类型中间表示 RWS-IR。在 36 项基于 EHR 的基准任务上，ProCARE 在代码可执行性、语义一致性和结论可追溯性上优于强 LLM-agent 基线，其自动违规诊断与盲审专家评审达到中等至高度一致。该工作已被 NeurIPS'26 接收。