Automated Theorem Proving On Coqgym
평가 지표
Percentage correct
평가 결과
이 벤치마크에서 각 모델의 성능 결과
모델 이름 | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |
0 of 1 row(s) selected.
이 벤치마크에서 각 모델의 성능 결과
모델 이름 | Percentage correct | Paper Title | Repository |
|---|---|---|---|
| ASTactic | 12.2 | Learning to Prove Theorems via Interacting with Proof Assistants |