ResearchBenchmarksUnder-approximation Certification on GTSRB (Hard)Follow84Approximation RatioPREMAP21.8423.1744.565.83May 28, 2025Evaluation ResultsMethodMethodLinksApproximation RatioCompletion RateTime (s)PREMAP2Model=FCModel=FC2025.058479146.2PREMAP2Model=CNNModel=CNN2025.056968221.1PREMAPModel=FCModel=FC2025.053732419.9PREMAPModel=CNNModel=CNN2025.053130425.1ProbSpecModel=FCModel=FC2025.0554539.7ProbSpecModel=CNNModel=CNN2025.0555531