2018: Deep Learning for Symbolic Reasoning

 

2014: Metaprogramming