Neural Concept Verifier accepted as a spotlight at ICML 2026 (top 2.2% of 23,918 reviewed submissions). We scale Prover-Verifier Games to high-dimensional inputs via concept encodings for verifiable AI. Joint work with S. Asadulla, D. Steinmann, K. Kersting, W. Stammer, and S. Pokutta. Also honored to receive a Gold Reviewer Award at ICML 2026 — many thanks to the program chairs for the recognition.