Update README.md
Browse files
README.md
CHANGED
@@ -2,7 +2,7 @@
|
|
2 |
Model from the [neural theorem proving tutorial vII](https://github.com/cmu-l3/ntptutorial-II).
|
3 |
|
4 |
|
5 |
-
A deepseek-coder 1.3B model finetuned on [ntp-mathlib-
|
6 |
|
7 |
It is specifically finetuned for Lean 4 tactic prediction given proof states. See the tutorial for code and more information.
|
8 |
|
|
|
2 |
Model from the [neural theorem proving tutorial vII](https://github.com/cmu-l3/ntptutorial-II).
|
3 |
|
4 |
|
5 |
+
A deepseek-coder 1.3B model finetuned on [ntp-mathlib-instruct-st](https://huggingface.co/datasets/l3lab/ntp-mathlib-instruct-st) for 3 epochs.
|
6 |
|
7 |
It is specifically finetuned for Lean 4 tactic prediction given proof states. See the tutorial for code and more information.
|
8 |
|