Before revision:  We formally prove ie-HGCN evaluates the usefulness of all possible meta-paths within a length limit (model depth), show it intrinsically performs spectral graph convolution on HINs, and analyze the time complexity to verify its quasi-linear scalability.
After revision:  We formally prove ie-HGCN evaluates the usefulness of all possible meta-paths , its connection to the spectral graph convolution on HINs, and analyze the time complexity to verify its quasi-linear scalability.