It's from work like this:

https://arxiv.org/abs/2309.11495

A RL pipeline can reinforce verification behaviour even better than simple prompting.