Daya Guo

website Personal homepage github GitHub profile

core DeepSeek core Moonshot AI

Code Models DeepSeek-Coder: When the Large Language Model Meets Programming Reasoning and Math Models DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data Code Language Models DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence Large Language Models DeepSeek LLM Technical Report Mathematical Reasoning Models DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models Mathematical Reasoning Models DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search Mathematical Reasoning Models DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning and Monte-Carlo Tree Search with Proof Assistant Feedback Large Language Models DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning Large Language Models DeepSeek-V2 Technical Report Large Language Models DeepSeek-V3 Technical Report Vision-Language Models Janus: Decoupling Visual Encoding for Unified Multimodal Understanding and Generation Vision-Language Models JanusFlow: Harmonizing Autoregression and Rectified Flow for Unified Multimodal Understanding and Generation Large Language Models Kimi k1.5: Scaling Reinforcement Learning with LLMs