ResearchTasksOrdinary Differential Equation solvingOrdinary Differential Equation solvingFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedVan der Pol equation on [0, 1] (test)Rigorous Error Certification (Prop. 8 + dReal)0Reference Error5Mar 20, 2026
Van der Pol equation on [0, 1] (test)Rigorous Error Certification (Prop. 8 + dReal)0Reference Error5Mar 20, 2026