Official implementation of "Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings" (ICML 2026).
⚠️ Code release in progress. The full implementation is being prepared for public release and will be uploaded here upon publication. During this process, code and implementation details are available as supplementary material via OpenReview. Please check back, or watch this repository for updates.