实体 Kleisli category

Kleisli category

PulseAugur coverage of Kleisli category — every cluster mentioning Kleisli category across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_11688 · May 1 · 04:00

AI治理理论通过Coq中的机器校验证明形式化

研究人员为认知工作流系统开发了一个结构化治理的正式系统，其中大部分工作已在Coq中机械化。该系统引入了一个共归纳安全谓词，以确保无限程序行为的治理安全。关键定理确立了跨递归级别的治理一致性以及智能系统的四个核心原语的表达完整性。