Formal Explanation Generation on GTSRB-FC (test)
0.97Execution TimeFAME: Single-round
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| FAME: Single-roundTraversal order=/, Search procedure=Greedy2026.03 | 0.97 | — | 243.18 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=Greedy2026.03 | 5.26 | — | 332.74 | — | |
| FAME-accelerated VERIX+Traversal order=/ + bounds, Search procedure=Greedy + binary2026.03 | 9.26 | 332.66 | — | 11.93 | |
| FAME: Single-roundTraversal order=/, Search procedure=MILP2026.03 | 9.68 | — | 236.85 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=MILP2026.03 | 12.28 | — | 331.84 | — | |
| VERIX+ (alone)Traversal order=bounds, Search procedure=binary2026.03 | 56.18 | 313.42 | — | — |