We discussed this at the TVM Community Meeting this morning. A couple of notes:
-
What is the best reference paper for Relay? Where was the algebra for the type relations used here sourced from?
Steven: The Relay paper is still the most comprehensive reference. The language has evolved a bit since its introduction, but the type system hasn’t changed.
-
Have you considered how this may apply to Relax?
Steven: This approach might prove challenging to use with symbolic shapes. It might be necessary to use ILP with Relax, but this approach also might be sufficient. Need to try this.