Learning to Discover Efficient Mathematical Identities

Wojciech Zaremba, Karol Kurach, Rob Fergus

Neural Information Processing Systems 

Neural Information Processing Systems http://nips.cc/