Verification of PyTorch Graph Transformations using SMT SolversJuly 20, 2023Using Z3 + PyTorch to prove stuff works like it should