ResearchDatasetsMizarMizarFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsPremise selectionMizar (test)81Accuracy2