DeepSeek-AI Open-Sources DeepSeek-Prover-V1.5: A Language Model with 7 Billion Parameters that Outperforms all Open-Source Models in Formal Theorem Proving in Lean 4
August 17, 2024 at 10:16 AM EDT
Large language models (LLMs) have made significant strides in mathematical reasoning and theorem proving, yet they face considerable challenges in … Source