ScenicProver：学习型CPS组合概率验证框架

Eric Vin 等作者发布论文，介绍 ScenicProver 框架，用于为学习型信息物理系统构建可靠、经形式化检查的保证案例。该框架用 Scenic 概率编程语言建模环境，以假设-保证契约组合组件，并通过测试、Lean 4 形式化证明和外部假设生成证据。 在自动紧急制动与无人机安全两个案例中，论文称，借助厂商对传感器的保证并把测试集中在不确定条件下，该框架在相同算力预算下给出了比单体测试更强的概率保证。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。