Tensor Program Optimization with Probabilistic Programs - Shao, Junru; Zhou, Xiyou; Feng, Siyuan; Hou, Bohan; Lai, Ruihang; Jin, Hongyi; Lin, Wuwei; Masuda, Masahiro; Yu, Cody Hao; Chen, Tianqi (Advances in Neural Information Processing Systems, 2022)