251 citations · 833 across the 13 of their papers we have counts for
1 paper · 1 filter
Wojciech Zaremba, Karol Kurach, Rob Fergus
In this paper we explore how machine learning techniques can be applied to the discovery of efficient mathematical identities. We introduce an attribute grammar framework for repre…