Elias Ellison and Edward Yang will be available to answer any questions you might have about symbolic shapes support in PyTorch. You can follow our progress at https://dev-discuss.pytorch.org/t/state-of-symbolic-shapes-branch/777/35 and Elias will be showing off some cool use cases for this support (computing max batch sizes).