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 D (test) benchmark leaderboard · SOTA2 Research

Research Benchmarks

Premise Selection on D (test)

94AccuracyT5

Updated 2mo ago

Evaluation Results

Method	Links
T52025.10		94
GPT2025.10		94

SOTA Paper

T5

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

Dataset

D

Follow for updates

Join SOTA2 Contact

Related Benchmarks

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