ESReDA：深度学习形式化保证研究

资料概述

Martin Vechev 介绍从神经网络到学习流水线的形式化保证研究，涵盖适于证明的网络结构、数学不可能性复杂度结果与可证明训练，作为 AI 验证的基础资料。