Affiliates. All rights reserved. “Any” in Relay typing Any: represent an unknown dimension at compilation time. Define a tensor type: Tensor<(Any, 3, 32, 32), fp32> Define type relation: arange: fn(start:fp32 All rights reserved. Gradual typing: shape function ● Relax type inference/checking for Any at compilation time broadcast: fn(Tensor<(Any, Any), fp32>, Tensor<(1, 8), fp32>) -> Tensor<(Any, 8), fp32>© All rights reserved. Gradual typing: shape function ● Relax type inference/checking for Any at compilation time ● Register a shape function for operator to check the type and compute the output shape©