共 103 条
[4]
[Anonymous], 2023, Google forms
[6]
Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT I, TACAS 2023,
2023, 13993
:187-207
[7]
Baxter P, 2008, QUAL REP, V13, P544
[10]
Bubeck S, 2021, Arxiv, DOI [arXiv:2105.12806, 10.48550/arXiv.2105.12806]