HyperAIHyperAI

Command Palette

Search for a command to run...

Leistungsergebnisse verschiedener Modelle auf diesem Benchmark

Metriken

Percentage correct
4 Zeilen insgesamt
Automated Theorem Proving On Holist Benchmark | SOTA | HyperAI