Jul, 2023

使用自动机理论来合成二值化神经网络

TL;DR该研究论文提出了一种自动机理论方法,通过量化深度神经网络,特别是二值化神经网络,来减少计算与存储成本,并通过表格法实现综合过程,使用 SMT 求解器确定网络的超参数,并在实验中证明其在提高神经网络的个体公平性和局部鲁棒性方面的有效性。