#类型论

类型论计算公域中可信的人机协作

Jane Street发布技术演讲，探讨在实时类型论计算公域中实现可信的人机协作。该工作尝试用形式化类型系统约束AI与人类的协同编辑与验证流程，属于AI辅助形式化验证与可信计算的前沿探索。