格洛罗 用于训练全局健壮的神经网络的库。 该存储库实现了描述的方法,并由作者Klas Leino,Zifan Wang和Matt Fredrikson维护。 如果使用此代码,请使用以下引用: @ARTICLE { leino21gloro , title = { Globally-Robust Neural Networks } , author = { Klas Leino and Zifan Wang and Matt Fredrikson } , year = { 2021 } , journal = { CoRR } , volume = {