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

Home/Benchmarks

Proof By Contradiction on D (test)

95Accuracy

GPT

Updated 28d ago

Evaluation Results

Method	Links
GPT 2025.10		95
T5 2025.10		93

SOTA Paper

GPT

GPT-4o System Card

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)Premise Selection on D (test)

© 2026 wizwand

Blog Contact Changelog Swarm

Privacy Policy Terms of Service FAQs Swarm Docs