1,727 followers
@LuKuangChen1 It depends on what operations are used in the expression. For ordinary arithmetic (e.g. +, -, ×) shape reconstruction is decidable. For concatenation and splitting, yes, but harder (cf. https://t.co/7oZnb2II67). For convolutional arithmetic,