HyperAIHyperAI

Command Palette

Search for a command to run...

Performance results of various models on this benchmark

Metrics

Percentage correct
4 rows total
Automated Theorem Proving On Holist Benchmark | SOTA | HyperAI