Suhrab Asadulla

Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings

While *Prover-Verifier Games* (PVGs) offer a promising path toward verifiability in nonlinear classification models, they have not yet been applied to complex inputs such as high-dimensional images. Conversely, expressive *concept encodings* effectively allow to translate such data into interpretabl…