Hi @gfvvz ,
Please have a read to a previous answer I gave it here:
The answer to your question is then yes in TVM there is the capability to support symbolic tensor shapes that will change dynamically at run-time. However, be mindful that not knowing the shape of the tensors at compile time, might hinder some optimizations, so the code might not be “optimal”.