Paper Citation Record · LEDGER

A Formalization of the Mean-Field Derivation of the Vlasov Equation

As of 15 August 2026, this Paper Citation Record lists 36 of 36 outbound references and 1 inbound Pith citation observation for arXiv:2607.08986.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.08986 v2

Coverage vector

measured 36 of 36 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T07:48:00.108715Z

measured 37 of 37 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-15T06:32:42.880941+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-01T10:04:04.898116Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

36 of 36 outbound references displayed

verified exact0
verified fuzzy0
unresolved36
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 23495807-4f3e-4dba-bb74-f934fd1d383a · outbound

This paper cites Abstraction boundaries and spec driven development in pure mathematics.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Abstraction boundaries and spec driven development in pure mathematics

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.279041Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7cc1cf8c-2627-4566-ab23-85bcd5296f0a · outbound

This paper cites an unresolved cited work.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.350670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ccebd665-b0ed-4c88-a922-894d5ce65ce9 · outbound

This paper cites A blueprint for the formalization of Carleson's theorem on convergence of Fourier series.

A Formalization of the Mean-Field Derivation of the Vlasov Equation A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.448427Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d979633-abf7-49a4-98bf-430480a51cd4 · outbound

This paper cites Formalising the $h$-principle and sphere eversion.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Formalising the $h$-principle and sphere eversion

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.532484Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 57eb18f3-3617-49ee-8c44-8f390c2211ae · outbound

This paper cites Massot, Leanblueprint, software, https://github.com/PatrickMassot/leanblueprint.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Massot, Leanblueprint, software, https://github.com/PatrickMassot/leanblueprint

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.629966Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 762fe2bc-d816-418f-b4d5-75db939df315 · outbound

This paper cites Hubert, R.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Hubert, R

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.814472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d1d3ac8d-33a4-4682-bed3-1b125fc96840 · outbound

This paper cites Advancing Mathematics Research with AI-Driven Formal Proof Search.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Advancing Mathematics Research with AI-Driven Formal Proof Search

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:56.930692Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8fdfd4b9-16af-4cb1-b12a-7cfb22697235 · outbound

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

A Formalization of the Mean-Field Derivation of the Vlasov Equation Aristotle: IMO-level Automated Theorem Proving

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.045682Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2212f8d-8a92-41b0-8954-99eb4527c382 · outbound

This paper cites Sothanaphan, Resolution of Erdős Problem #728: a writeup of Aristotle’s Lean proof , arXiv:2601.07421 (2026).

A Formalization of the Mean-Field Derivation of the Vlasov Equation Sothanaphan, Resolution of Erdős Problem #728: a writeup of Aristotle’s Lean proof , arXiv:2601.07421 (2026)

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.168610Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0401775-da69-4d06-8379-a4aa9d9b0be7 · outbound

This paper cites LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization.

A Formalization of the Mean-Field Derivation of the Vlasov Equation LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.227745Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 12705d00-7c4d-4fa8-b2fa-de71be8ce0c7 · outbound

This paper cites Primitive sets and von Mangoldt chains: Erd\H{o}s Problem #1196 and beyond.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Primitive sets and von Mangoldt chains: Erd\H{o}s Problem #1196 and beyond

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.309507Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31c55acf-7cff-4316-b0de-a5094199465c · outbound

This paper cites Ilin, Semi-autonomous formalization of the Vlasov–Maxwell–Landau equilibrium , arXiv:2603.15929 (2026).

A Formalization of the Mean-Field Derivation of the Vlasov Equation Ilin, Semi-autonomous formalization of the Vlasov–Maxwell–Landau equilibrium , arXiv:2603.15929 (2026)

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.475070Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f42a02eb-b562-4769-9125-127576b23570 · outbound

This paper cites an unresolved cited work.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.603027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d223a399-9437-48f9-98cf-eeb01048e60c · outbound

This paper cites Formalization of De Giorgi--Nash--Moser Theory in Lean.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Formalization of De Giorgi--Nash--Moser Theory in Lean

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.704750Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c91fd5f4-0bcb-4ab8-af42-972e06cb205b · outbound

This paper cites $L^2$-Stability for STFT phase retrieval.

A Formalization of the Mean-Field Derivation of the Vlasov Equation $L^2$-Stability for STFT phase retrieval

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.847460Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0c9cf650-7afe-4848-9155-af388726a4c2 · outbound

This paper cites Stable Phase Retrieval for Spans of Independent Random Variables.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Stable Phase Retrieval for Spans of Independent Random Variables

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:57.967013Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ceeaa8a5-302a-47ee-84ec-483e3ff8c30b · outbound

This paper cites On the existence problem of regular Gabor frames.

A Formalization of the Mean-Field Derivation of the Vlasov Equation On the existence problem of regular Gabor frames

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.105813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acbcb58f-e299-463f-8801-3d887a386027 · outbound

This paper cites Cantor measures with odd base do not admit Fourier frames.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Cantor measures with odd base do not admit Fourier frames

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.173655Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 50a6694f-b20f-4683-9c86-acb27eb8267d · outbound

This paper cites Zimmer, N.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Zimmer, N

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.261987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c38e2f47-bbda-47f3-a866-44e5d8cf04e1 · outbound

This paper cites Mathematicians in the age of AI.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Mathematicians in the age of AI

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.400601Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ce698acf-1fdc-4d16-baae-7fbf6253d372 · outbound

This paper cites 9th ACM SIGPLAN Int.

A Formalization of the Mean-Field Derivation of the Vlasov Equation 9th ACM SIGPLAN Int

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.575189Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2558517a-ac4c-4880-adb3-3699b13bcfd5 · outbound

This paper cites an unresolved cited work.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.660364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 35f86fb5-2996-444f-9df3-7653b4e6e432 · outbound

This paper cites Braun, K.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Braun, K

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.777344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 228e601a-f5b0-4610-a680-cf5bc551116c · outbound

This paper cites Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften 338, Springer, 2009.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften 338, Springer, 2009

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.885953Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ff99273-6701-4e73-bd81-24acec202e8f · outbound

This paper cites Ambrosio, N.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Ambrosio, N

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:58.985987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4ceec71e-2c31-47ea-a6e8-362cb7736836 · outbound

This paper cites Spohn, Large Scale Dynamics of Interacting Particles , Springer, 1991.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Spohn, Large Scale Dynamics of Interacting Particles , Springer, 1991

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.037625Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2beaf2a4-3cb7-47d1-a293-230c229d345b · outbound

This paper cites Golse, On the dynamics of large particle systems in the mean field limit , in Macroscopic and Large Scale Phenomena , Lect.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Golse, On the dynamics of large particle systems in the mean field limit , in Macroscopic and Large Scale Phenomena , Lect

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.167631Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e00412e9-b16d-45a6-98ff-5adcd4701494 · outbound

This paper cites Neunzert, An introduction to the nonlinear Boltzmann–Vlasov equation , in Kinetic Theories and the Boltzmann Equation , Lecture Notes in Math.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Neunzert, An introduction to the nonlinear Boltzmann–Vlasov equation , in Kinetic Theories and the Boltzmann Equation , Lecture Notes in Math

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.402453Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6a4f4bb-4cc2-4bdd-a5df-d0f25efe236e · outbound

This paper cites Hauray, P.-E.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Hauray, P.-E

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.448891Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0babd45a-ece3-428f-95d8-44a5c127eefb · outbound

This paper cites Lazarovici, P.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Lazarovici, P

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.543767Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f386cf80-3a7f-48b5-bc69-b963530904e2 · outbound

This paper cites On the mean-field limit for the Vlasov-Poisson system.

A Formalization of the Mean-Field Derivation of the Vlasov Equation On the mean-field limit for the Vlasov-Poisson system

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.631718Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8532eb1e-e60e-4462-b478-afa275ad61f4 · outbound

This paper cites Feistl-Held, P.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Feistl-Held, P

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.739582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d69c73ce-3946-4390-bc7d-525596fd72b3 · outbound

This paper cites Serfaty, Mean field limit for Coulomb-type flows , Duke Math.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Serfaty, Mean field limit for Coulomb-type flows , Duke Math

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.800728Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e53af8a0-4224-464c-8b07-f6382b5bb62a · outbound

This paper cites Nguyen, M.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Nguyen, M

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.881779Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e72c42b2-98a5-437b-9ecb-cc43ec3ca9f8 · outbound

This paper cites Singular mean-field limits via a multiscale mollification metric.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Singular mean-field limits via a multiscale mollification metric

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-02T07:47:59.993181Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ec10b19-d6d9-4d36-96c8-093f8fdfe1c7 · outbound

This paper cites an unresolved cited work.

A Formalization of the Mean-Field Derivation of the Vlasov Equation Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-02T07:48:00.108715Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 7e7accf2-7960-4e3b-82fa-2eac67b74309 · inbound

From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory cites this paper.

From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory A Formalization of the Mean-Field Derivation of the Vlasov Equation

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-01T10:04:04.898116Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.