2 citations · 2 across the 1 of their papers we have counts for
1 paper
Ernest Davis
Arabshahi, Singh, and Anandkumar (2018) propose a method for creating a dataset of symbolic mathematical equations for the tasks of symbolic equation verification and equation comp…