Apr, 2023

类型化仿射决策结构的威力:一个案例研究

TL;DR本文介绍了 TADS (紧凑型白盒神经网络表示) 在神经网络验证中的应用,结合 PCA 降维技术,提出了 Precondition Projection 技术用于描述神经网络的行为,可以用于诊断网络错误并提供紧凑和明确的解释,以及用于网络调试和生成新的训练样本。