HyperAIHyperAI超神经

Command Palette

Search for a command to run...

算力平台

Automated Theorem Proving On Coqgym

评估指标

Percentage correct

评测结果

各个模型在此基准测试上的表现结果

Paper Title
ASTactic12.2Learning to Prove Theorems via Interacting with Proof Assistants
0 of 1 row(s) selected.
Automated Theorem Proving On Coqgym | SOTA | HyperAI超神经