ResearchDatasetsKleeneFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsFour-domain mathematical reasoningKleene diagnostic Four-domain (test)99.98Accuracy2