Sufficient Explanation Generation on CREDIT
3.76Model SizeAlg. 2 followed by Alg. 4
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| Alg. 2 followed by Alg. 4minimality=cardinally-minimal, backend verifier=α-β-CROWN2026.02 | 3.76 | 132.67 | |
| Sensitivityordering=reverse-sensitivity, minimality=subset-minimal2026.02 | 3.82 | 407.93 | |
| Lexicographicordering=lexicographic, minimality=subset-minimal2026.02 | 12.42 | 473.63 |