l3lab
/

ntp-mathlib-st-deepseek-coder-1.3b

Text Generation

text-generation-inference

Model card Files Files and versions Community

wellecks commited on Jun 5, 2024

Commit

a6fe0a4

·

verified ·

1 Parent(s): e09fc48

Update README.md

Files changed (1) hide show

README.md +4 -1

README.md CHANGED Viewed

@@ -1,3 +1,6 @@
 ## [miniCTX: Neural Theorem Proving with (Long-)Contexts]()
 State-tactic model from [miniCTX: Neural Theorem Proving with
 (Long-)Contexts]().
@@ -45,4 +48,4 @@ Please cite:
   eprint={},
   archivePrefix={arXiv},
 }
-```

+---
+license: mit
+---
 ## [miniCTX: Neural Theorem Proving with (Long-)Contexts]()
 State-tactic model from [miniCTX: Neural Theorem Proving with
 (Long-)Contexts]().
   eprint={},
   archivePrefix={arXiv},
 }
+```