HyperAIHyperAI

Command Palette

Search for a command to run...

نتائج أداء النماذج المختلفة على هذا المعيار المرجعي

المقاييس

Pass@64
10 صفوف إجمالي
Automated Theorem Proving On Minif2f Valid | SOTA | HyperAI