Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Premise Selection on Ds (test) benchmark leaderboard · SOTA2 Research

Research Benchmarks

Premise Selection on Ds (test)

99AccuracyT5

Updated 2mo ago

Evaluation Results

Method	Links
T52025.10		99
GPT2025.10		98
T52025.10		84
GPT2025.10		76

SOTA Paper

T5

Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformer

Dataset

DS

Follow for updates

Join SOTA2 Contact

Related Benchmarks

Premise Selection on Dl (test)Proof By Contradiction on Ds (test)Proof By Contradiction on Dl (test)Premise Selection on D (test)Proof By Contradiction on D (test)