Thanks @ezyang for pointing to the nicely written manual on dynamic shapes. Is there a similar documentation on at::SymInt → at::IntRef specialization? If not, what’s the best way to learn SymInt specialization?
P.S.: I think “c10/core/SymIntArrayRef.h” and “c10/core/SymInt.h” are good places to start in the absence of a comprehensive document/tutorial.