Agree to make float32 as the default and throw a warning if float is given without specifying the bit number. On the other hand, simply putting the warning at a lower level may not be effective. I believe most users do not change the log level during the development. I would prefer the way that @haichen used before for the warning of old AutoTVM format version.
1 Like