Comment by drakenot

What are some other domains outside of Math and Coding that would be suitable for RL with automated verification?