Hacker News
- DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data https://arxiv.org/abs/2405.14333 54 comments
Linking pages
Related searches:
Search whole site: site:arxiv.org
Search title: [2405.14333] DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
See how to search.