实体
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 条
-
新的代数框架通过验证的治理属性形式化受控执行
一篇新论文介绍了一个用于受控执行的代数语义框架，确保程序遵守指定的治理规则。该系统使用幺半范畴和效应代数进行形式化，保证了安全性、透明性和正确性。它确立了在此模型中所有可表达的程序都是受控的，同时保留了图灵完备性并排除了未经调解的I/O。该框架是参数化的，意味着任何遵循其公理的系统都将继承其属性，并且一个OCaml实现已通过广泛的基于属性的测试得到验证。
-
AI治理框架实现语义透明和表达最小化
研究人员开发了一种用于治理AI工作流架构的形式化方法，确保在不牺牲内部计算表达能力的情况下实现效果层面的治理。该系统使用Rocq中的交互树构建，可以调解所有有效果的指令，包括内存访问、外部调用和LLM查询。该工作建立了受控的图灵完备性、语义透明度和可判定性边界等属性，证明了治理和表达能力是正交的。