ResearchBenchmarksOver-approximation Certification on GTSRB (All)Over-approximation Certification on GTSRB (All)Follow2.79Approximation RatioProbSpec0.98041.45021.922.3898May 28, 2025Evaluation resultsMethodMethodLinksApproximation RatioCompletion RateTime (s)ProbSpecModel=CNNModel=CNN2025.052.798961.4ProbSpecModel=FCModel=FC2025.052.078582.4PREMAPModel=CNNModel=CNN2025.051.878975.1PREMAPModel=FCModel=FC2025.051.168689.3PREMAP2Model=CNNModel=CNN2025.051.129439PREMAP2Model=FCModel=FC2025.051.059441.7