Formal Explanation Generation on MNIST-FC (test)
0.35Execution Time (s)FAME: Single-round
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| FAME: Single-roundTraversal order=/, Search procedure=Greedy2026.03 | 0.35 | — | 448.37 | — | |
| FAME: Single-roundTraversal order=/, Search procedure=MILP2026.03 | 4.4 | — | 441.05 | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=Greedy2026.03 | 8.78 | — | 225.14 | — | |
| FAME-accelerated VERIX+Traversal order=/ + bounds, Search procedure=Greedy + binary2026.03 | 13.72 | 224.41 | — | 44.21 | |
| VERIX+ (alone)Traversal order=bounds, Search procedure=binary2026.03 | 13.87 | 280.16 | — | — | |
| FAME: Iterative refinementTraversal order=/, Search procedure=MILP2026.03 | 14.3 | — | 229.73 | — |