smt-solvers

标签

#smt-solvers

具有基于事实、忠实、一致、可操作理由的问责制AI：VERDICT在临床试验匹配中的案例研究

arXiv cs.CL ↗ · 2026-09-04 缓存

本文介绍了VERDICT，一个神经符号系统，它使用LLMs和SMT求解器来确保临床试验匹配中的问责制决策，提供一致的策略和忠实的理由。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈