@article{waldchen2023formal,title={Formal Interpretability with Merlin-Arthur Classifiers},author={W{\"a}ldchen, Stephan and Sharma, Kartikey and Zimmer, Max and Turan, Berkant and Pokutta, Sebastian},journal={arXiv preprint arXiv:2206.00759},year={2023},}