ResearchBenchmarksUnder-approximation Certification on GTSRB (All)Under-approximation Certification on GTSRB (All)Follow88Approximation RatioPREMAP28.9629.485070.52May 28, 2025Evaluation resultsMethodMethodLinksApproximation RatioCompletion RateCertification Time (s)PREMAP2Model=FCModel=FC2025.058885108.5PREMAP2Model=CNNModel=CNN2025.057170203.8PREMAPModel=FCModel=FC2025.055450309.9PREMAPModel=CNNModel=CNN2025.053736392.1ProbSpecModel=FCModel=FC2025.053129396.1ProbSpecModel=CNNModel=CNN2025.051213487.7