We conduct extensive experiments by comparing Ti-Lin with five state-of-the-art tools (DeepCert [1]}, VeriNet [2]}, Newise [3]},CNN-Cert [4]}, DeepPoly [5]}). The experiments run on a server running an 8 core Intel(R) Xeon(R), Silver 4114 CPU, and 15 GB of RAM with Python 3.6.13(numpy 1.19.5 with numba 0.53.1). We use the Tensorflow 1.12.0 deep learning platform to train and test CNNs.
<TABLE><TABLE><TABLE><TABLE><TABLE><TABLE><TABLE>