Formal Explanation Generation on MNIST-CNN (test)
0.51Inference TimeFAME: Single-round
Evaluation results
| Method | Links | ||||
|---|---|---|---|---|---|
| FAME: Single-roundTraversal order=/, Search procedure=Greedy2026.03 | 0.51 | — | 190.29 | — | |
| FAME: Single-roundTraversal order=/, Search procedure=MILP2026.03 | 5.59 | — | 181.24 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=Greedy2026.03 | 5.6 | — | 122.09 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=MILP2026.03 | 12.35 | — | 124.9 | — | |
| FAME-accelerated VERIX+Traversal order=/ + bounds, Search procedure=Greedy + binary2026.03 | 33.75 | 113.53 | — | 104.09 | |
| VERIX+ (alone)Traversal order=bounds, Search procedure=binary2026.03 | 56.72 | 159.78 | — | — |