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

Premise Selection on Dl (test) benchmark leaderboard · SOTA2 Research

Research Benchmarks

Premise Selection on Dl (test)

83AccuracyGPT

Updated 2mo ago

Evaluation Results

Method	Links
GPT2025.10		83
GPT2025.10		82
T52025.10		80
T52025.10		79

SOTA Paper

GPT

GPT-4o System Card

Dataset

DL

Follow for updates

Join SOTA2 Contact

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)