CommentsAccepted to the 28th European Conference on Artificial Intelligence (ECAI 2025) --- 21 pages, 15 figures, Earlier title: "Analyzing Probabilistic Logic Driven Safety in Multi-Agent Reinforcement Learning"; (changed for specificity and clarity)
CommentsInternational Conference on Machine Learning (ICML), 2026. v4: Revised CPC theory to (a) show enforced smoothness for likelihood-ratio control parameter and (b) for general control parameter, assume smoothness only of constrained policy $π_t^{(β)}$ w.r.t. $β$ (rather than of $(l_i - α)\cdotπ_t^{(β)}$ or of conformal weights)
Comments171 pages. Formalized in Lean 4 with Mathlib: 240 theorems in the elaborated environment, 141 audited headline results, cold-compiling from a clean checkout with zero custom axioms. Source, theorem-by-theorem contract, and reproducible axiom audit: https://github.com/selfreferencing/TSE_Formal. Companion to Agentic Capital
ResidencyRL: Reinforcement Learning in Simulated Clinical Environments
ResidencyRL:在模拟临床环境中开展的强化学习
Valentin Liévin, Samuel Schmidgall, Tim Strother, Alex Bijamov, Akshay Goel, Anil Palepu, Chunjong Park, Vahid Balazadeh, Min Woo Sun, Marius Guerard, Justin Chen, Dave Steiner, Vikram Dhillon, Ibrahim Azar, Akhil Mehta, Nicholas Spetsieris, Shilpan Shah, Maen Abdelrahim, Amit Dahiya, Yun Liu, Katherine Chou, Yossi Matias, Avinatan Hassidim, Dale R. Webster, Quoc V. Le, Raia Hadsell, Joelle Barral, Carey Radebaugh, Aleksandra Faust, Shekoofeh Azizi, Mike Schaekermann, Po-Hsuan Cameron Chen, Tao Tu, David Racz, Lin Yang
机构
*
Google DeepMind(谷歌DeepMind)
;
Google Research(谷歌研究院)
;
Houston Methodist Hospital(休斯顿卫理公会医院)
;
Trinity Health Group(三一健康集团)
;
Stanford Oncology Partners(斯坦福肿瘤学伙伴)
;
St. Luke Hospital(圣卢克医院)
专题命中
安全训练
:safety(abstract);分类 cs.CL、cs.AI
AI总结
本研究提出 ResidencyRL,通过多轮强化学习训练临床 AI 智能体,在模拟临床环境中提升诊断准确性、降低漏报率,且能力可迁移至多个医学基准测试,为临床 AI 发展提供了新路径。
机构
*
Clemson University(克莱姆森大学)
;
LinkedIn(领英)
;
Washington University in St. Louis(圣路易斯华盛顿大学)
;
Arizona State University(亚利桑那州立大学)
;
Columbia University(哥伦比亚大学)