ResearchTasksFormal Proof CompletionFormal Proof CompletionFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedButcher textbook Numerical Methods for Ordinary Differential EquationsOpenMath0Sorries3Jun 15, 2026