Training a model on examples where the correctness of outputs is verified by actually running the code.