关于 BRaVeS 的报道

大语言模型自主体在深入推理时面临认识论漂移问题，容易偏离专家约束。BRaVeS 框架通过将领域专家约束编码为不变锚点并动态调整系统自主权，意味着自主体安全治理正从纯概率对齐向可形式化验证的边界控制演进。