HyperAIHyperAI

Command Palette

Search for a command to run...

Leistungsergebnisse verschiedener Modelle auf diesem Benchmark

Metriken

Percentage correct
1 Zeile insgesamt
Automated Theorem Proving On Coqgym | SOTA | HyperAI