HyperAIHyperAI

Command Palette

Search for a command to run...

Performance results of various models on this benchmark

Metrics

Percentage correct
1 ligne au total
Automated Theorem Proving On Coqgym | SOTA | HyperAI