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

Proof By Contradiction on Dl (test) benchmark leaderboard · SOTA2 Research

Research Benchmarks

Proof By Contradiction on Dl (test)

88AccuracyGPT

Updated 2mo ago

Evaluation Results

Method	Links
GPT2025.10		88
GPT2025.10		86
T52025.10		76
T52025.10		71

SOTA Paper

GPT

GPT-4o System Card

Dataset

DL

Follow for updates

Join SOTA2 Contact

Related Benchmarks

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