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

Home/Benchmarks

Proof By Contradiction on Ds (test)

99Accuracy

T5

Updated 28d ago

Evaluation Results

Method	Links
T5 2025.10		99
GPT 2025.10		98
GPT 2025.10		85
T5 2025.10		67

SOTA Paper

T5

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

Dataset

DS

Follow for update

@wizwand_team Discord

Related Benchmarks

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

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs