ResearchTasksFormal Explanation GenerationFormal Explanation GenerationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedGTSRB-CNN (test)FAME: Single-round1.35Inference Time6Mar 12, 2026GTSRB-FC (test)FAME: Single-round0.97Execution Time6Mar 12, 2026MNIST-CNN (test)FAME: Single-round0.51Inference Time6Mar 12, 2026MNIST-FC (test)FAME: Single-round0.35Execution Time (s)6Mar 12, 2026