HyperAIHyperAI

Command Palette

Search for a command to run...

Performance results of various models on this benchmark

Metrics

ITP
Pass@64
cumulative
28 rows total
Automated Theorem Proving On Minif2f Test | SOTA | HyperAI