HyperAIHyperAI

Command Palette

Search for a command to run...

Performance results of various models on this benchmark

Metrics

Pass@64
10 lignes au total
Automated Theorem Proving On Minif2f Valid | SOTA | HyperAI