verifiable-computation

标签

Cards List
#verifiable-computation

时间作为结构:用于法律文件可验证截止日期计算的时间依赖图

arXiv cs.CL · 2026-08-18 缓存

本文介绍了从法律文件中提取时间依赖图以计算提交截止日期的方法,并表明管道方法在准确性上优于直接的语言模型回答。

0 人收藏 0 人点赞
#verifiable-computation

治理行动,而非智能体:将机构认证作为自主AI系统的治理模型

arXiv cs.AI · 2026-06-26 缓存

本文提出了一种基于机构认证的自主AI智能体治理模型,其中行动通过独立认证的证据进行治理,而非监控智能体推理。该模型通过概念验证实现进行了形式化,适用于临床处方和软件部署等高风险行动。

0 人收藏 0 人点赞
← 返回首页

提交意见反馈