Formal Explanation Generation on GTSRB-CNN (test)
1.35Inference TimeFAME: Single-round
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| FAME: Single-roundTraversal order=/, Search procedure=Greedy2026.03 | 1.35 | — | 379.34 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=Greedy2026.03 | 7.42 | — | 322.42 | — | |
| FAME: Single-roundTraversal order=/, Search procedure=MILP2026.03 | 12.45 | — | 372.66 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=MILP2026.03 | 17.63 | — | 322.42 | — | |
| FAME-accelerated VERIX+Traversal order=/ + bounds, Search procedure=Greedy + binary2026.03 | 138.12 | 322.42 | — | 219.57 | |
| VERIX+ (alone)Traversal order=bounds, Search procedure=binary2026.03 | 185.03 | 338.28 | — | — |