4 ms·
Are you sure you responded to the right comment? We were talking about code verification
by godelski 2y ago
Are you sure you responded to the right comment? We were talking about code verification
- cma 2y agoI missed that it was about formal verification, but don't think formal verification is necessary for effective RL in the coding domain.
- godelski 2y agoThere'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