Automated Theorem Proving On Coqgym

Percentage correct

评测结果

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

比较表格

模型名称	Percentage correct
learning-to-prove-theorems-via-interacting	12.2