期待以安全案例为北极星,用形式化安全论证凸显残余风险,支撑风险导向的模型开发决策

RT @MicahCarroll:我很期待把安全案例(safety cases)作为北极星。形式化的安全论证是极好的工具,能够凸显残余风险,并支持基于风险的模型开发决策

https://t.co/yviR9h6wfe