To use tensor core in tuning, you need to use meta schedule, not auto scheduler. Unfortunately tvmc doesn’t seem to support meta schedule yet. See an example of how to use MS here https://github.com/apache/tvm/blob/main/python/tvm/meta_schedule/testing/tune_onnx.py
MS tutorial is also overdue. cc @zxybazh @junrushao