  Can a Python program be executed statement-by-statement by neural networks
composed according to the source code? We formulate the Neuro-Symbolic
Execution Problem and introduce Neural Interpretation (NI), the first neural
model for the execution of generic source code that allows missing definitions.
NI preserves source code structure, where every variable has a vector encoding,
and every function executes a neural network. NI is a novel neural model of
computers with a compiler architecture that can assemble neural layers
"programmed" by source code. NI is the first neural model capable of executing
Py150 dataset programs, including library functions without concrete inputs,
and it can be trained with flexible code understanding objectives. We
demonstrate white-box execution without concrete inputs for variable misuse
localization and repair.
