@cgerum thanks for detailed analysis!
Im wondering whether should we provide an optional partitioning hook as well --
so then it can be anything and let the default be a Sequential of
MergeComposite, AnnotateTarget, MergeCompilerRegions, ParititionGraph. WDYT ?
--
Reply to this email directly
> thanks @masahi for the follow up, I am also looking forward a chance to do a
> demo after all patch upstream done.
Hi @huajsj, do you have any plan to do a demo with compiling deep learning
models such as
[https://tvm.apache.org/docs/how_to/compile_models/from_tensorflow.html#sphx-glr-how-to-
Looks like we have one agenda item for tomorrow: Type-directed Relay fuzzing
library. Let's plan to meet to discuss this one.
---
[Visit
Topic](https://discuss.tvm.apache.org/t/next-tvm-community-meeting-march-16/12298/2)
to respond.
You are receiving this because you enabled mailing lis
Currently, TVM uses the following way to define expression simplifying rules:
https://github.com/apache/tvm/blob/f5e0c102057641d88f06ad865d5a1d4e99bd70d7/src/arith/rewrite_simplify.cc
This approach is error-prone and not scalable:
1. The rewrite rules were added manually, the number of possible
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.
