DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data
- 网路冷眼
- 2024-11-02 10:01:09
【DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data】
网页链接 DeepSeek：通过大规模合成数据推进 LLMs 中的定理证明。
网页链接 DeepSeek：通过大规模合成数据推进 LLMs 中的定理证明。 