ResearchTasksFormal-verifier rationale evaluation via span follows diagnosticFollowBenchmarksDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyDataset NameSOTA methodMetricTrendResultsLast UpdatedLeanCheckverifier-coupled reasoning100Span Follows Accuracy2Jun 23, 2026