@inproceedings{TuranAsadullaSteinmannetal.2025, author = {Berkant Turan and Suhrab Asadulla and David Steinmann and Wolfgang Stammer and Sebastian Pokutta}, title = {Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings}, booktitle = {Proceedings of the ICML Workshop on Actionable Interpretability}, year = {2025}, language = {en} }