l3lab
/

ntp-mathlib-context-deepseek-coder-1.3b

Text Generation

text-generation-inference

Model card Files Files and versions

hanwenzhu commited on Sep 6, 2024

Commit

d8260dc

·

verified ·

1 Parent(s): 9a8bf19

Update bibtex

Files changed (1) hide show

README.md +6 -4

README.md CHANGED Viewed

@@ -49,10 +49,12 @@ rw [Nat.Coprime] at h
 Please cite:
 ```
 @misc{hu2024minictx,
-  author = {Jiewen Hu and Thomas Zhu and Sean Welleck},
-  title = {miniCTX: Neural Theorem Proving with (Long-)Contexts},
-  year = {2024},
-  eprint={},
   archivePrefix={arXiv},
 }
 ```

 Please cite:
 ```
 @misc{hu2024minictx,
+  title={miniCTX: Neural Theorem Proving with (Long-)Contexts},
+  author={Jiewen Hu and Thomas Zhu and Sean Welleck},
+  year={2024},
+  eprint={2408.03350},
   archivePrefix={arXiv},
+  primaryClass={cs.AI},
+  url={https://arxiv.org/abs/2408.03350},
 }
 ```