DeepSeek: Advancing theorem proving in LLMs through large-scale synthetic data

(arxiv.org)

184 points hhs | 1 comments | 14 Oct 24 15:44 UTC | HN request time: 0.208s | source

1. tikkun ◴[14 Oct 24 16:28 UTC] No.41839065[source]▶

[Submitted on 23 May 2024]