Microsoft Research's Dimitris Papailiopoulos details a hybrid symbolic-neural reasoning system with 15% accuracy and under one million parameters · Digg