ResearchDatasetsFLCFLCFollowBenchmarksTaskDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyTaskDatasetSOTA resultTrendResultsSurvival AnalysisFLC0.938Mean C-index15AutoformalizationFLC (held-out)66.9Mean Cycle Consistency6AutoformalizationFLC (val)0.64Cross-Entropy Loss3