May I ask what does auto scheduler do?
I found this paper explaining what the auto scheduler of TVM does.