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

Home/Benchmarks

Premise Selection on Dl (test)

83Accuracy

GPT

Updated 2mo ago

Evaluation Results

Method	Links
GPT 2025.10		83
GPT 2025.10		82
T5 2025.10		80
T5 2025.10		79

SOTA Paper

GPT

GPT-4o System Card

Dataset

DL

Follow for update

@wizwand_team Discord

Related Benchmarks

Premise Selection on Ds (test)Proof By Contradiction on Ds (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