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 D (test) benchmark leaderboard · SOTA2 Research

Research Benchmarks

Proof By Contradiction on D (test)

95AccuracyGPT

Updated 2mo ago

Evaluation Results

Method	Links
GPT2025.10		95
T52025.10		93

SOTA Paper

GPT

GPT-4o System Card

Dataset

D

Follow for updates

Join SOTA2 Contact

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)