Validity-Aware Multi-Level Autotuning for Efficient Tensor Program Generation | Synapse