ResearchDatasetsFLCFollowBenchmarksTask NameDataset NameSOTA MethodSortMost resultsRecently updatedMost papersApplyTask NameDataset NameSOTA ResultTrendResultsSurvival AnalysisFLC0.938Mean C-index15AutoformalizationFLC (held-out)66.9Mean Cycle Consistency6AutoformalizationFLC (val)0.64Cross-Entropy Loss3