ResearchTasksGröbner basis computationFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedPolynomial systems over F7 n=13 (test)HATSolver-361.2Success Rate24Feb 26, 2026