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-instruct-st](https://huggingface.co/datasets/l3lab/ntp-mathlib-instruct-st)
|
| 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).
|
| 6 |
|
| 7 |
It is specifically finetuned for Lean 4 tactic prediction given proof states. See the tutorial for code and more information.
|
| 8 |
|