ResearchDatasetsDim. ImbeddingDim. ImbeddingFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsFormal proof size measurementDim. Imbedding1,103Direct Size1