ResearchBenchmarksOver-approximation Certification on GTSRB HardOver-approximation Certification on GTSRB HardFollow17.61Approximation RatioProbSpec0.64765.05139.45513.8587May 28, 2025Evaluation resultsMethodMethodLinksApproximation RatioCompletion RateTime (s)ProbSpecModel=CNNModel=CNN2025.0517.610564.4PREMAPModel=CNNModel=CNN2025.058.650555.4ProbSpecModel=FCModel=FC2025.058.180552.3PREMAPModel=FCModel=FC2025.052.054576.4PREMAP2Model=CNNModel=CNN2025.051.9450298.1PREMAP2Model=FCModel=FC2025.051.361268.9