Skip to main content
← Back to Bibliography

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Authors: Huajian Xin

Year: 2024

Venue: arXiv

Type: article

URL: https://arxiv.org/abs/2405.14333

arXiv: 2405.14333

Cite as: [@xin2024deepseekprover]

Raw Files

No raw files yet. Run node scripts/fetch-bibliography-raw.mjs --only xin2024deepseekprover to populate, or drop files into raw/bibliography/xin2024deepseekprover/.

BibTeX

@article{xin2024deepseekprover,
  title = {DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data},
  author = {Huajian Xin},
  year = {2024},
  journal = {arXiv},
  url = {https://arxiv.org/abs/2405.14333}
}

Notes

No notes yet. Create notes/xin2024deepseekprover.md to add notes.