ResearchBenchmarksPremise Selection on Dl (test)Premise Selection on Dl (test)Follow83AccuracyGPT78.8479.928182.08Oct 10, 2025Evaluation resultsMethodMethodLinksAccuracyGPTExperiment Setting=OVE...Experiment Setting=OVE-long2025.1083GPTExperiment Setting=RECExperiment Setting=REC2025.1082T5Experiment Setting=RECExperiment Setting=REC2025.1080T5Experiment Setting=OVE...Experiment Setting=OVE-long2025.1079