Visit HuggingFace for more details.

1. Introduction We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with ini...

DeepSeek-R1 Paper Link👁️ 1. Introduction We introduce our first-generation reasoning models, DeepSeek-R1-Zero and DeepSeek-R1. DeepSeek-R1-...

🌔 moondream1 1.6B parameter model built by @vikhyatk( using SigLIP, Phi-1.5 and the LLaVa training dataset. The model is release for resear...

WizardCoder: Empowering Code Large Language Models with Evol-Instruct 🏠 Home Page 🤗 HF Repo •🐱 Github Repo • 🐦 Twitter 📃 WizardLM • 📃 ...

Pygmalion 6B Model description Pymalion 6B is a proof-of-concept dialogue model based on EleutherAI's GPT-J-6B( Warning: This model is NOT s...

Visit HuggingFace for more details.

MagicPrompt - Stable Diffusion This is a model from the MagicPrompt series of models, which are GPT-2( models intended to generate prompt te...

DeepSeek-R1 Paper Link👁️ 1. Introduction We introduce our first-generation reasoning models, DeepSeek-R1-Zero and DeepSeek-R1. DeepSeek-R1-...

Model Card for Mixtral-8x22B-Instruct-v0.1 Encode and Decode with mistralcommon py from mistralcommon.tokens.tokenizers.mistral import Mistr...