Jul, 2023

用于验证深度神经网络的DPLL(T)框架

TL;DR引入一种新的约束求解方法NeuralSAT,用作深度神经网络(DNN)验证的符号化求解器。