Higher order automatic differentiation was done like half years ago. Please
check that.
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/dmlc/tvm/issues/2623#issuecomment-519449551
@Lyken17 https://github.com/dmlc/tvm/issues/1585
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/dmlc/tvm/issues/2623#issuecomment-519520425
Nice to see proposals on sparse format.
There are design trade offs between “having extra fields” and “design a new
type”
--
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/dmlc/tvm/issues/3731#issuecomment-
Besides mutually recursive globals deferring type checking provides no
benefits, code that doesn't type check is not a valid Relay program and can not
be used to do anything, analysis, optimization, or code generation.
We can defer type checking to the first pass, but I don't see it providing
Hey Jared,
Thank you for the response!
I completely agree that types are important. Without proper type information,
we are unable to do anything like type-specific analysis, optimization and code
generation. Also, I agree that doing type checking every time a new function is
added is benefi
