CoolFace
20 results

deepseek-ai

inallmodelsdatasetsappsagentspeopleprojects

Models

All models matching “deepseek-ai”
deepseek-ai /DeepSeek-V4-Flash-0731text-generationtransformers4k likes3.7m downloads2mo agoHugging Facedeepseek-ai /DeepSeek-V3.2text-generationtransformers1.5k likes2.8m downloads10mo agoHugging Facedeepseek-ai /DeepSeek-OCRimage-text-to-texttransformers3.4k likes2.3m downloads11mo agoHugging Facedeepseek-ai /DeepSeek-V4-Flashtext-generationtransformers2.3k likes1.4m downloads3mo agoHugging Facedeepseek-ai /DeepSeek-V3-0324text-generationtransformers3.2k likes1.3m downloads1y agoHugging Facedeepseek-ai /DeepSeek-V3text-generationtransformers4.2k likes1.1m downloads1y agoHugging Facedeepseek-ai /DeepSeek-V4-Flash-DSparktext-generationtransformers282 likes1m downloads3mo agoHugging Facedeepseek-ai /DeepSeek-Coder-V2-Lite-Instructtext-generationtransformers666 likes951k downloads2y agoHugging Face

Datasets

All datasets matching “deepseek-ai”
jonathanyin /aime_1983_2023_deepseek-r1_traces_16384tabularn<1K0 likes3.2k downloads1y agoHugging FaceRock23210 /AIME_Deepseek_Cleantextn<1K0 likes1.2k downloads2y agoHugging FacehbXNov /numina_amc_aime_deepseek_r1_responsestextn<1K0 likes1.2k downloads2y agoHugging Facefireworks-ai /logiqa-deepseek-v3text1K<n<10K0 likes1k downloads2y agoHugging Facedeepseek-ai /DeepSeek-Prover-V1 Evaluation Results | Model & Dataset Downloads | License | Contact Paper Link👁️ DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data 1. Introduction Proof assistants like Lean have revolutionized mathematical proof verification, ensuring high accuracy and reliability. Although large language models (LLMs) show promise in… See the full description on the dataset page: https://huggingface.co/datasets/deepseek-ai/DeepSeek-Prover-V1.text10K<n<100K74 likes895 downloads2y agoHugging Facejonathanyin /aime_1983_2023_deepseek-r1_traces_32768tabularn<1K0 likes809 downloads1y agoHugging Face

Apps

All apps matching “deepseek-ai”
deepseek-ai /deepseek-coder-33b-instructgradio315 likes3y agoHugging FaceVVocachV2 /deepseek-ai-deepseek-coder-33b-basegradio0 likes3y agoHugging Facearshadkm /deepseek-ai-deepseek-coder-33b-instructgradio0 likes3y agoHugging FaceFr0NiX /deepseek-ai-deepseek-coder-6.7b-instructgradio0 likes3y agoHugging Faceheyonghan /deepseek-ai-deepseek-coder-6.7b-basegradio0 likes3y agoHugging FaceOmanjelato /deepseek-ai-deepseek-coder-33b-instructgradio0 likes3y agoHugging Face