实体
Alan McCann
Alan McCann
PulseAugur coverage of Alan McCann — every cluster mentioning Alan McCann across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
2
90 天内 2
层级分布 · 90 天
最近 · 第 1/1 页 · 共 2 条
-
New algebraic framework formalizes governed execution with verified governance properties
A new paper introduces an algebraic semantics framework for governed execution, ensuring that programs adhere to specified governance rules. The system, formalized using monoidal categories and effect algebras, guarante…
-
AI治理框架实现语义透明和表达最小化
研究人员开发了一种用于治理AI工作流架构的形式化方法，确保在不牺牲内部计算表达能力的情况下实现效果层面的治理。该系统使用Rocq中的交互树构建，可以调解所有有效果的指令，包括内存访问、外部调用和LLM查询。该工作建立了受控的图灵完备性、语义透明度和可判定性边界等属性，证明了治理和表达能力是正交的。