ResearchBenchmarksPremise Selection on D (test)Premise Selection on D (test)Follow94AccuracyT589.391.659496.35Oct 10, 2025Evaluation resultsMethodMethodLinksAccuracyT5Experiment Setting=OVE...Experiment Setting=OVE-all2025.1094GPTExperiment Setting=OVE...Experiment Setting=OVE-all2025.1094