Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings. - Berkant Turan; Suhrab Asadulla; David Steinmann; Wolfgang Stammer; Sebastian Pokutta (CoRR, 2025)