ResearchTasksGröbner basis computationGröbner basis computationFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedPolynomial systems over F7 n=13 (test)HATSolver-361.2Success Rate24Feb 26, 2026