Wojciech Zaremba, Karol Kurach, Rob Fergus:
Learning to Discover Efficient Mathematical Identities. CoRR abs/1406.1584 (2014)
Learning to Discover Efficient Mathematical Identities. CoRR abs/1406.1584 (2014)