[cubefox]

I assume they use self-verification only during RL training to provide the reward signal, but not for benchmarks.