HyperAIHyperAI

Command Palette

Search for a command to run...

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

المقاييس

Percentage correct
1 صف إجمالي
Automated Theorem Proving On Coqgym | SOTA | HyperAI