Neural Concept Verifier accepted at the ICML 2025 Workshop on Actionable Interpretability. We combine Prover-Verifier Games with concept encodings to get verifiable predictions on high-dimensional inputs. With S. Asadulla, D. Steinmann, K. Kersting, W. Stammer, and S. Pokutta.