Hugging Face's logo

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

Text Generation
Transformers
PyTorch
llama
text-generation-inference
Model card Files
xet
Community
1
hanwenzhu commited on
Commit
7c00b11
·
verified ·
1 Parent(s): a6fe0a4

Update README.md

Browse files
Files changed (1) hide show
  1. README.md +6 -4
README.md CHANGED
@@ -42,10 +42,12 @@ rw [Nat.Coprime] at h
42
  Please cite:
43
  ```
44
  @misc{hu2024minictx,
45
- author = {Jiewen Hu and Thomas Zhu and Sean Welleck},
46
- title = {miniCTX: Neural Theorem Proving with (Long-)Contexts},
47
- year = {2024},
48
- eprint={},
49
  archivePrefix={arXiv},
 
 
50
  }
51
  ```
 
42
  Please cite:
43
  ```
44
  @misc{hu2024minictx,
45
+ title={miniCTX: Neural Theorem Proving with (Long-)Contexts},
46
+ author={Jiewen Hu and Thomas Zhu and Sean Welleck},
47
+ year={2024},
48
+ eprint={2408.03350},
49
  archivePrefix={arXiv},
50
+ primaryClass={cs.AI},
51
+ url={https://arxiv.org/abs/2408.03350},
52
  }
53
  ```