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](https://arxiv.org/abs/1810.00952) 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.
---
[Visit
Topic](https://discuss.tvm.apache.org/t/rfc-type-directed-relay-fuzzing-library/12234/3)
to respond.
You are receiving this because you enabled mailing list mode.
To unsubscribe from these emails, [click
here](https://discuss.tvm.apache.org/email/unsubscribe/29e716ba6b7f8060f28e1ff66ccfcdcc4262c55bbe1e18748cfd231b3d21519f).
