Tag

#deepseek

2 articles

DeepSeek Unveils DeepSeek-Prover-V2: Advancing Neural Theorem Proving with Recursive Proof Search and a New Benchmark

Learn to set up and experiment with DeepSeek-Prover-V2, an open-source LLM for Lean 4 theorem proving that uses recursive proof search and reinforcement learning.

Feb 261

DeepSeek-V3 New Paper is coming! Unveiling the Secrets of Low-Cost Large Model Training through Hardware-Aware Co-design

Learn to implement hardware-aware co-design techniques for training large language models using PyTorch and CUDA, inspired by DeepSeek-V3 research.

Feb 261