ResearchDatasetsAutoMathKGAutoMathKGFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResults5-hop reachability queryAutoMathKG96.1Hits@17