I missed that it was about formal verification, but don't think formal verification is necessary for effective RL in the coding domain.

There's still an important to what I said, even in ML. In fact, consider if what I said is true then ask what that would mean for how the current status quo goes about showing things. Then think about AI safety lol