Rankings Industries Categories Companies Research Blog

Sign in List your company

Read as Markdown Content index For AI assistants

ResearchFormerly WizWand

Papers Benchmarks Datasets Tasks

Research
Benchmarks
Reasoning and Question Answering on HLE (reference)

Reasoning and Question Answering on HLE (reference)

185Problems EvaluatedTheoria

Updated 4mo ago

Evaluation results

Method	Links
Theoria2026.07		185	105	96	84.5	155

State-of-the-art paper

Theoria

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

Dataset

HLE

Follow for updates

Join SOTA2 Contact

Related benchmarks

Adversarial Detection on Expanded benchmark Hidden premise Adversarial detection on Expanded benchmark Adversarial Detection on Expanded benchmark Arithmetic error Adversarial detection on Expanded benchmark Circular reasoning Adversarial detection on Expanded benchmark Misapplied theorem

Building an AI company?

Claim your profile, keep your facts current and see how buyers find you. Rankings are never paid for.

How rankings work List your company

Find AI companies and products for your business problem. Compare solutions and evidence by industry and task.

Explore

Rankings
Industries
Categories
Companies
Top AI companies

Read

Blog
Research
For AI assistants
Compare products
llms.txt

For AI companies

List your company
Claim a profile
Ranking badges

SOTA2 with AI

Claude connector
ChatGPT plugin
Tool reference
Connector privacy
Connector terms

SOTA2

Why SOTA2
How we rank
Contact

© 2026 SOTA2Built in Bellevue, WA, USA and Singapore