Automated Theorem Proving On Compcert
المقاييس
Percentage correct
النتائج
نتائج أداء النماذج المختلفة على هذا المعيار القياسي
| Paper Title | ||
|---|---|---|
| Proverbot9001 | 19.36 | Generating Correctness Proofs with Neural Networks |
| CoqGym/ASTactic | 4.99 | Generating Correctness Proofs with Neural Networks |
0 of 2 row(s) selected.