Update README.md
Browse files
README.md
CHANGED
@@ -10,3 +10,17 @@ It is specifically finetuned for Lean 4 tactic prediction given proof states. Se
|
|
10 |
|
11 |
The model achieves 29.1% (71/244) on Lean 4 MiniF2F using the standard search setting (best-first search with beam search expansions and a beam size of 32).
|
12 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
10 |
|
11 |
The model achieves 29.1% (71/244) on Lean 4 MiniF2F using the standard search setting (best-first search with beam search expansions and a beam size of 32).
|
12 |
|
13 |
+
|
14 |
+
#### Citation
|
15 |
+
|
16 |
+
Until an associated preprint is available, please cite the tutorial's repository:
|
17 |
+
```
|
18 |
+
@misc{ntptutorialII,
|
19 |
+
author = {Sean Welleck},
|
20 |
+
title = {Neural theorem proving tutorial II},
|
21 |
+
year = {2024},
|
22 |
+
publisher = {GitHub},
|
23 |
+
journal = {GitHub repository},
|
24 |
+
howpublished = {\url{https://github.com/cmu-l3/ntptutorial-II}},
|
25 |
+
}
|
26 |
+
```
|