no code implementations • 7 Aug 2023 • Yuyi Zhong, Ruiwei Wang, Siau-Cheng Khoo
Furthermore, the experiment results also show that network reduction can improve the availability of existing verification tools on many networks by reducing them into sequential neural networks.