@misc{indiciae37e924c51670,
  title = {Neural Concept Verifier: Scaling Prover-Verifier Games via Concept Encodings},
  author = {Berkant Turan and Suhrab Asadulla and David Steinmann and Kristian Kersting and Wolfgang Stammer and Sebastian Pokutta},
  year = {2026},
  url = {https://arxiv.org/abs/2507.07532},
  note = {Source identifier: 2507.07532}
}