Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings
| Author: | Berkant Turan, Suhrab Asadulla, David Steinmann, Wolfgang Stammer, Sebastian Pokutta |
|---|---|
| Document Type: | In Proceedings |
| Parent Title (English): | Proceedings of the ICML Workshop on Actionable Interpretability |
| Year of first publication: | 2025 |

