In TVM, do we have to manually specify a schedule?

[rkdeepshard]

but im not even using xgboost: Memory verification failed with Relax