Neuro-Symbolic Execution: The Feasibility of an Inductive Approach to Symbolic Execution
Learning internal representations by error propagation