ResearchDatasetsESSESSFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSurvey SimulationESS 90.111Wasserstein Distance (WD)16Survey SimulationESS110.104Weighted Distance (WD)16AutoformalizationESS #1196100Proof Success Rate2