Notable data and AI papers

Papers627Labs45

627 papers · 45 labs

DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data research paper by DeepSeek, 2024

DeepSeek · Retrieval and data · May 23, 2024 · 284 citations · 47 upvotes · unverified

Read on arXiv

What it shows

Generating extensive Lean 4 proof data from mathematical competition problems improved DeepSeekMath 7B's theorem-proving capabilities over GPT-4 and other methods.

By Huajian Xin, Daya Guo, Zhihong Shao and 6 more · arXiv 2405.14333 · PDF

UnverifiedHugging Face's summary; not yet checked by hand.

More from DeepSeek

All 22
Inference and efficiencySep 17, 2026DeepSeek-V4.1-Flash: Pushing the Limits of KV Cache CompressionA 552B mixture-of-experts model with a 1M-token context, built to shrink the KV cache for agent workloads.DeepSeek158 citations188 upvotesRead →Inference and efficiencyUnverifiedJul 6, 2026DSpark: Confidence-Scheduled Speculative Decoding with Semi-Autoregressive GenerationDSpark enhances LLM inference speed by combining parallel draft generation with adaptive verification that reduces waste and improves throughput in high-concurrency settings.DeepSeek77 citations49 upvotesRead →Agents and evaluationUnverifiedFeb 25, 2026DualPath: Breaking the Storage Bandwidth Bottleneck in Agentic LLM InferenceDualPath addresses KV-cache storage I/O bottlenecks in multi-turn LLM inference by introducing dual-path loading and dynamic load balancing across prefill and decode engines.DeepSeek22 citations55 upvotesRead →Multimodal and roboticsUnverifiedJan 28, 2026DeepSeek-OCR 2: Visual Causal FlowDeepSeek-OCR 2 introduces DeepEncoder V2 that dynamically reorders visual tokens based on semantic content, enabling more human-like causal reasoning in 2D image understanding through cascaded 1D causal structures.DeepSeek79 citations73 upvotesRead →Training and scalingUnverifiedDec 31, 2025mHC: Manifold-Constrained Hyper-ConnectionsManifold-Constrained Hyper-Connections (mHC) stabilize and scale residual connection architectures by restoring identity mapping properties through manifold projection and infrastructure optimization.DeepSeek108 citations334 upvotesRead →Agents and evaluationUnverifiedDec 2, 2025DeepSeek-V3.2: Pushing the Frontier of Open Large Language ModelsDeepSeek-V3.2 introduces DeepSeek Sparse Attention and a scalable reinforcement learning framework, achieving superior reasoning and performance compared to GPT-5 and Gemini-3.0-Pro in complex reasoning tasks.DeepSeek887 citations275 upvotesRead →ReasoningUnverifiedNov 27, 2025DeepSeekMath-V2: Towards Self-Verifiable Mathematical ReasoningA self-verifying large language model for theorem proving improves mathematical reasoning by incentivizing rigorous step-by-step derivations and achieves high scores in international competitions.DeepSeek83 citations98 upvotesRead →Inference and efficiencyUnverifiedOct 21, 2025DeepSeek-OCR: Contexts Optical CompressionDeepSeek-OCR uses optical 2D mapping to compress long contexts, achieving high OCR precision with reduced vision tokens and demonstrating practical value in document processing.DeepSeek200 citations98 upvotesRead →

Other retrieval and data papers

Topic
Retrieval and dataUnverifiedNov 9, 2022BLOOM: A 176B-Parameter Open-Access Multilingual Language ModelBLOOM, a 176B-parameter open-access language model, achieves competitive performance on various benchmarks and is released publicly with a Responsible AI License.Hugging Face3,165 citations41 upvotesRead →Retrieval and dataApr 24, 2024From Local to Global: A Graph RAG Approach to Query-Focused SummarizationGraphRAG builds a knowledge graph of a document set so a model can answer questions about the whole collection.Microsoft2,561 citations7 upvotesRead →Retrieval and dataUnverifiedAug 13, 2025DINOv3DINOv3, a self-supervised learning model, achieves superior performance across various vision tasks by scaling datasets and models, addressing dense feature degradation, and enhancing flexibility with post-hoc strategies.Meta1,932 citations320 upvotesRead →Retrieval and dataUnverifiedJan 8, 2026Qwen3-VL-Embedding and Qwen3-VL-Reranker: A Unified Framework for State-of-the-Art Multimodal Retrieval and RankingThe Qwen3-VL-Embedding and Qwen3-VL-Reranker models form an end-to-end multimodal search pipeline, leveraging multi-stage training and cross-attention mechanisms to achieve high-precision retrieval across diverse modalities.Alibaba (Qwen)315 citations59 upvotesRead →Retrieval and dataFeb 9, 2024Aya Dataset: An Open-Access Collection for Multilingual Instruction TuningThe initiative builds a human-curated instruction-following dataset spanning 65 languages and creates the largest multilingual collection of instruction-following instances through templating and translating existing datasets across 114 languages, contributing datasets and platforms for participatory research.Cohere253 citations57 upvotesRead →Retrieval and dataUnverifiedJan 22, 2026Learning to Discover at Test TimeTest-time training enables AI systems to discover optimal solutions for specific scientific problems through continual learning focused on individual challenges rather than generalization.Stanford University118 citations45 upvotesRead →
About this paper
Venue
arXiv.org
Citations
284, 24 influential · Semantic Scholar
Upvotes
47 · Hugging Face
Lab
DeepSeek · on Companies · on breaches · on Rounds · on labs · on Leaders · on Arena · on legislations · on Paydays · on Metered · on problems · on repos · on socials · on standards · on terms

Changes

UpvotesNov 2, 2026Hugging Face upvotes fell from 48 to 47.
CitationsNov 2, 2026Citations rose from 272 to 284.
CitationsOct 12, 2026Citations rose from 264 to 272.
CitationsOct 5, 2026Citations rose from 262 to 264.
CitationsSep 28, 2026Influential citations rose from 23 to 24.
CitationsSep 28, 2026Citations rose from 260 to 262.
CitationsSep 25, 2026A first count of 23 influential citations.
CitationsSep 25, 2026A first count of 260 citations.
New paperSep 25, 2026Found by the weekly Hugging Face scan; not yet checked by hand.