Terra: Imperative-Symbolic Co-Execution of Imperative Deep Learning Programs - Kim, Taebum (arXiv.org)