arXiv · cs.AI · Eric Vin, Lucy Horowitz, Kyle A. Miller, Inigo Incer, Sanjit A. Seshia, Daniel J. Fremont · 7 小时前模型评分36
ScenicProver：面向学习型系统的组合式概率验证框架
ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
导读
ScenicProver 是一个为学习型信息物理系统构建可靠、经形式化检查的保证案例的框架，支持用 Scenic 概率编程语言建模环境、以假设-保证契约组合组件，并通过测试、Lean 4 形式化证明和外部假设生成证据。在自动紧急制动与无人机安全两个案例中，它借助厂商对传感器的保证、把测试集中在不确定条件下，在相同算力预算下给出了比单体测试更强的概率保证。
分类置信度
中 · 待人工复核
- 只有单一媒体来源，需要人工复核。
来源级别：媒体与个人
事件类型：研究发布
证据摘录
- “This paper introduces a tool, ScenicProver, that aims to fill this gap by enabling the construction of sound, formally-checked assurance cases for CPS.”
来源：arXiv · cs.AI · arxiv.org