DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data | Paper Citation Record

Observation b9903deb-c0fe-4bc6-b8b1-85f6d9478e51 · inbound

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs cites this paper.

Step-DPO: Step-wise Preference Optimization for Long-chain Reasoning of LLMs DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 28

Resolution: verified exact; arxiv_id, observed 2026-05-18T23:58:29.210896Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 6d5d4b75-4e0f-4649-9e64-e443c5773f48 · inbound

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning cites this paper.

Position: Multimodal Large Language Models Can Significantly Advance Scientific Reasoning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 213

Resolution: verified exact; arxiv_id, observed 2026-05-23T04:32:32.995412Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation b991c518-178b-426d-a6ca-76576e505494 · inbound

AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning cites this paper.

AReaL: A Large-Scale Asynchronous Reinforcement Learning System for Language Reasoning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-05-15T14:24:22.065868Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 01521df1-7bfe-4ca3-8468-509a25a9c75a · inbound

A Comprehensive Survey of Self-Evolving AI Agents: A New Paradigm Bridging Foundation Models and Lifelong Agentic Systems cites this paper.

A Comprehensive Survey of Self-Evolving AI Agents: A New Paradigm Bridging Foundation Models and Lifelong Agentic Systems DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 104

Resolution: verified exact; arxiv_id, observed 2026-05-15T23:21:42.193152Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 6bda71c3-1de0-44b5-966d-cdb31ff6760c · inbound

FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.

FormaRL: Enhancing Autoformalization with no Labeled Data DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-05T16:11:23.252729Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2253ed7-dc3d-4044-aecf-8e548eb589ca · inbound

Generative Data Refinement: Just Ask for Better Data cites this paper.

Generative Data Refinement: Just Ask for Better Data DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T20:24:40.777735Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c5992e6-c0ac-4329-80dc-4f88b826bb2e · inbound

Aristotle: IMO-level Automated Theorem Proving cites this paper.

Aristotle: IMO-level Automated Theorem Proving DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 57

Resolution: verified exact; arxiv_id, observed 2026-05-15T08:51:37.968796Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation f33d3494-f673-492a-b52d-13112b6d4c3a · inbound

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics cites this paper.

Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 68

Resolution: verified exact; arxiv_id, observed 2026-05-25T07:46:42.255374Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation dbb1d385-14e6-47e2-9135-c54840f3d586 · inbound

Memory in the Age of AI Agents cites this paper.

Memory in the Age of AI Agents DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 115

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T18:18:20.607199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 85e39140-b863-4277-b206-9bccd93af053 · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 157

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.653066Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 318dd6b9-3087-411e-8bd5-08c546a795ea · inbound

A Task-Centric Theory for Iterative Self-Improvement with Easy-to-Hard Curricula cites this paper.

A Task-Centric Theory for Iterative Self-Improvement with Easy-to-Hard Curricula DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-03T02:43:37.405053Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73d9ceb4-a5e3-4160-8ea2-e4fc647ff9c3 · inbound

Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models cites this paper.

Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-03T01:09:05.097140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f5eeed74-367d-42c1-b73d-6e09b6805de0 · inbound

Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 cites this paper.

Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-02T21:56:45.184550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 26746062-b937-432b-b7bb-eb68fafaf516 · inbound

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning cites this paper.

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-11T00:15:51.814205Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation bfcc462b-edc1-445e-9c5a-8d3d180363cb · inbound

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution cites this paper.

Steerable Instruction Following Coding Data Synthesis with Actor-Parametric Schema Co-Evolution DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-05-15T18:01:25.454195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 68dca442-eb1b-4ed7-be4e-2e09b8946f0d · inbound

Rethinking Wireless Communications through Formal Mathematical AI Reasoning cites this paper.

Rethinking Wireless Communications through Formal Mathematical AI Reasoning DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-12T00:11:16.403338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 4a88432c-6b26-45d7-8490-2b26c71a22dc · inbound

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference cites this paper.

POSTCONDBENCH: Benchmarking Correctness and Completeness in Formal Postcondition Inference DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 33

Resolution: metadata mismatch; arxiv_id, observed 2026-05-11T23:56:12.237890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 86bcc709-06b1-4bc1-a6bc-c6e60cad6917 · inbound

How You Begin is How You Reason: Driving Exploration in RLVR via Prefix-Tuned Priors cites this paper.

How You Begin is How You Reason: Driving Exploration in RLVR via Prefix-Tuned Priors DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 40

Resolution: verified exact; arxiv_id, observed 2026-05-12T03:26:19.285607Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 7fbddefe-1bf1-43d0-82cf-9bebfa22b0ac · inbound

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving cites this paper.

Rethinking Supervision Granularity: Segment-Level Learning for LLM-Based Theorem Proving DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 14

Resolution: verified exact; arxiv_id, observed 2026-05-13T06:12:22.939660Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 755c8936-f930-4bb6-a845-2b66cbfc5bb9 · inbound

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem cites this paper.

Using Aristotle API for AI-Assisted Theorem Proving in Lean 4: A Formalisation Case Study of the Grasshopper Problem DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 11

Resolution: verified exact; arxiv_id, observed 2026-05-20T05:08:03.682858Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 2bace0e0-c279-49f0-b9a3-92e63fe653ca · inbound

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search cites this paper.

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 44

Resolution: verified exact; arxiv_id, observed 2026-05-21T08:54:05.928560Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation ba0c2f53-8cd8-44d2-9577-f26dd6736283 · inbound

RMA: an Agentic System for Research-Level Mathematical Problems cites this paper.

RMA: an Agentic System for Research-Level Mathematical Problems DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-05-25T06:10:24.154162Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 8d54b3e5-e169-4d2e-a0ba-bd8493febffc · inbound

Automating Formal Verification with Reinforcement Learning and Recursive Inference cites this paper.

Automating Formal Verification with Reinforcement Learning and Recursive Inference DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 32

Resolution: metadata mismatch; arxiv_id, observed 2026-06-28T23:52:48.534188Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 90aff93a-0ef4-44c5-9a03-a3c2e8d632e5 · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 37

Resolution: verified exact; arxiv_id, observed 2026-07-02T22:47:26.067007Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation ceb050ca-d2cd-4cf8-9cb1-3dc7bbb8351a · inbound

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery cites this paper.

Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-02T12:05:04.822640Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2881882-e8bc-4a72-b8aa-b713ce2d8f54 · inbound

Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics cites this paper.

Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 51

Resolution: verified exact; arxiv_id, observed 2026-07-03T23:19:04.426670Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation a0ef6e04-e3e2-4bd8-896b-cb504058f745 · inbound

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus cites this paper.

IsabeLLM: Automated Theorem Proving Applied to Formally Verifying Consensus DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 64

Resolution: verified exact; arxiv_id, observed 2026-07-03T20:38:55.795308Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation c396b54e-52b3-426a-b3f4-bd8ac9be18c0 · inbound

Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language cites this paper.

Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 29

Resolution: verified exact; arxiv_id, observed 2026-07-04T19:10:04.236182Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 0c16f273-b143-44a3-977c-88190cb5e6f6 · inbound

Self-Supervised Theorem Discovery in a Formal Axiomatic System cites this paper.

Self-Supervised Theorem Discovery in a Formal Axiomatic System DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 41

Resolution: metadata mismatch; arxiv_id, observed 2026-06-30T09:54:35.174558Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation f4ff0fdb-cf5b-4907-8c5c-b3b2ab389436 · inbound

LAMP: Lean-based Agentic framework with MCP and Proof Repair cites this paper.

LAMP: Lean-based Agentic framework with MCP and Proof Repair DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 47

Resolution: verified exact; arxiv_id, observed 2026-06-30T08:44:27.791357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 4966efcf-6ae6-49de-b0af-9669dbd9cd02 · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-01T10:05:40.877095Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 3b9de54e-3169-4965-a3ae-5f3623839212 · inbound

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.

Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 38

Resolution: verified exact; arxiv_id, observed 2026-07-03T22:39:01.221461Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 48526c91-6d23-43bd-9998-acc2c8144cb1 · inbound

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States cites this paper.

Theoria: Rewrite-Acceptability Verification over Informal Reasoning States DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 1

Resolution: verified exact; arxiv_id, observed 2026-07-02T12:16:56.411547Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation 3af081ab-b442-4f0e-b231-9d4c90c2ef2f · inbound

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs cites this paper.

Formal Disco: Scalable Open-Ended Generation of Formally Verified Programs DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T16:08:39.755740Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b4926b3-8f55-4e4c-920d-443c75736a77 · inbound

SCOPE: Leveraging Subgoal Critiques for Code Generation cites this paper.

SCOPE: Leveraging Subgoal Critiques for Code Generation DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 41

Resolution: verified exact; local_arxiv, observed 2026-07-08T23:45:43.227134Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation c0c485c0-d85d-4f22-ab38-fb060f10bde7 · inbound

Harnessing Code Agents for Automatic Software Verification cites this paper.

Harnessing Code Agents for Automatic Software Verification DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 15

Resolution: verified exact; local_arxiv, observed 2026-07-08T09:34:47.891148Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation ffe5f83a-c5f5-4bbd-aa05-e110a8da6b61 · inbound

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics cites this paper.

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 11

Resolution: metadata mismatch; local_arxiv, observed 2026-07-10T20:47:34.607390Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation d7abead2-3f53-4e3d-9b4d-2dca3262b39a · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 267

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.844326Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-05T06:32:48.257954+00:00.

Observation ffce26b3-c863-4340-b20c-d5aee162df56 · inbound

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases cites this paper.

Theory-Level Autoformalization: From Isolated Statements to Unified Formal Knowledge Bases DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T05:39:58.762926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f90f8f0-b7aa-4969-bbaf-3e40e7a2489a · inbound

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs cites this paper.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:38.867083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2524e6d7-0b3b-4427-8181-549d13936898 · inbound

Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design cites this paper.

Search Hardness-Aware LLM-Based Problem Formulation for Expensive Simulation-Driven Design DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T08:09:46.524818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b903a7ad-ce20-4292-a1f5-66a9e5624186 · inbound

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification cites this paper.

CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T15:51:23.599393Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ac4ab369-44d0-4a5e-b6b4-7ecd6fc2a496 · inbound

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis cites this paper.

LLM Framework for Discovering Major Mathematical Conjectures: AI's Quest for the Next Riemann Hypothesis DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-03T00:54:45.503858Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers