论文提出基础模型保障栈与神经符号议程

一篇 arXiv cs.RO 论文提出“基础模型保障栈”，试图为引入基础模型的自动驾驶汽车、无人机等学习型信息物理系统补上系统级保障。作者称，现有保障实践是碎片化的，不足以支撑系统级保证，主张从以模型为中心的评估转向系统级保障。 该栈连接三条路径：神经符号架构、基于符合性的语义测试，以及组合式验证与运行时保障。符号抽象在学习与形式推理之间划定保障边界，基础模型只作为受约束的辅助工具，其输出在可形式化规定正确性的地方被独立检查。 论文同时列出规范工程、抽象保真度、证据组合与全生命周期认证等研究挑战，并给出分阶段议程。这是预印本，尚未经同行评议，文中未报告在具体机器人或车辆上的验证结果。

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

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