#autograd
-
PyTorch as a Reference Language: Separating Specification from Implementation
Edward Yang of the PyTorch team proposes seeing the framework as both a reference specification and an implementation language, with a separate verifier to check any divergence between the two.