They’re saying that they can use linters to check the output from a reinforcement learning model and reward it for correct output.