HyperAIHyperAI

Command Palette

Search for a command to run...

Leistungsergebnisse verschiedener Modelle auf diesem Benchmark

Metriken

Acc
Pass@1
10 Zeilen insgesamt
ProofNet | SOTA | HyperAI