AutoTVM has an option to check the correctness in the past but has been removed recently due to various of reasons. See the following PR for details