ResearchBenchmarksPremise Selection on Ds (test)Premise Selection on Ds (test)Follow99AccuracyT575.0881.2987.593.71Oct 10, 2025Evaluation resultsMethodMethodLinksAccuracyT5Experiment Setting=OVE...Experiment Setting=OVE-short2025.1099GPTExperiment Setting=OVE...Experiment Setting=OVE-short2025.1098T5Experiment Setting=COMExperiment Setting=COM2025.1084GPTExperiment Setting=COMExperiment Setting=COM2025.1076