DeepSeek-Coder-V2-Lite-Instruct:開原始碼語言模型,支援多程式語言
DeepSeek-Coder-V2是一個開源的Mixture-of-Experts程式碼語言模型,效能可與GPT4-Turbo相媲美,在程式碼特定任務上表現突出。它透過額外的6萬億個token進一步預訓練,增強了編碼和數學推理能力,同時保持了在一般語言任務上的相似效能。
DeepSeek-Coder-V2是一個開源的Mixture-of-Experts程式碼語言模型,效能可與GPT4-Turbo相媲美,在程式碼特定任務上表現突出。它透過額外的6萬億個token進一步預訓練,增強了編碼和數學推理能力,同時保持了在一般語言任務上的相似效能。
InternLM-Math-Plus 是一個最新的雙語(英文和中文)開源大型語言模型(LLM),專注於數學推理,具有解決、證明、驗證和增強數學問題的能力。它在非正式數學推理(如思維鏈和程式碼解釋)和正式數學推理(如LEAN 4翻譯和證明)方面都有顯著的效能提升。