Combining Logical Abduction and Statistical Induction: Discovering Written Primitives with Human Knowledge.
deep , big , simple neural nets for handwritten digit recognition .