Halide people did something like that https://dl.acm.org/doi/10.1145/3428234
--- [Visit Topic](https://discuss.tvm.apache.org/t/rfc-verification-and-possibly-program-synthesis-of-expression-rewriting-rules/12319/2) 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/f17100a147374ff4826ce9136cf809e6e6b14c7c1ff20506b18aaa67cb3d952f).
