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

Deductive logical reasoning research benchmarks · SOTA2 Research

Deductive logical reasoning

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

ProverQA hard (test)

0Error Rate

12

Feb 27, 2026

ProntoQA (test)

2.8Error Rate

12

Feb 27, 2026

ProofWriter (test)

100ExcRate

12

Feb 27, 2026

FOLIO 203 (dev)

6.4Exclusion Rate

12

Feb 27, 2026

ProverQA OOD hard subset 500 records (test)

—

—Error Rate

0

Feb 26, 2026

ProntoQA OOD 500 records (test)

—

—ExcRate

0

Feb 26, 2026

ProofWriter 600 records (test)

—

—Exc. Rate

0

Feb 26, 2026

Popular datasets

ProofWriter ProntoQA ProverQA FOLIO

Follow for updates

Join SOTA2 Contact