Share your thoughts, 1 month free Claude Pro on usSee more

Home/Benchmarks

Premise Selection on D (test)

94Accuracy

T5

Updated 28d ago

Evaluation Results

Method	Links
T5 2025.10		94
GPT 2025.10		94

SOTA Paper

T5

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

Dataset

D

Follow for update

@wizwand_team Discord

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)

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs