lol who is interested in this on hn? this has nothing to do with frameworks or training or inference or whatever. this is purely about "when can i infer statically XYZ property about tensor constants in a program". mind you, <i>small tensor constants</i>, because this thing is effectively performing actual tensor arithmetic and you don't want <i>slow tensor arithmetic</i> in your compiler.<p>also FYI they're not magically calculating closed form solutions to recurrence relations here (that's not possible) - they're basically just iterating the loop arithmetic.