{"as_of":"2026-08-15T15:19:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:fb3c2112d3dd1213278e22fe38b1d7c42265c4db2ff1c09537f53efb504c04b8","coverage":[{"denominator":36,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":36,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-02T07:48:00.108715Z","state":"measured"},{"denominator":37,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":37,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-15T06:32:42.880941+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T10:04:04.898116Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.08986","snapshot_observed_at":"2026-08-01T10:04:04.898116Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.27298","last_updated":"2026-07-29T16:15:08Z","snapshot_observed_at":"2026-08-08T06:51:54.082793Z","submitted_at":"2026-07-29T16:15:08Z","title":"From Lecture Notes to Lean: Formalizing a Textbook on Probability Theory","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-01T10:04:04.898116Z"},"links":{"cited_paper":"/paper/2607.08986","citing_paper":"/paper/2607.27298"},"observation_digest":"sha256:e0aced9762270533dd1f06a3372adbae8736ae489e098579b2309f2674408c11","observation_id":"7e7accf2-7960-4e3b-82fa-2eac67b74309","resolution":{"observed_at":"2026-08-01T10:04:04.898116Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2607.08986/citation-record","integrity":"/paper/2607.08986/integrity","json":"/paper/2607.08986/citation-record.json","paper":"/paper/2607.08986"},"outbound":[{"citation":{"cited_paper":{"arxiv_id":"2309.14870","last_updated":"2023-09-26T11:59:32Z","snapshot_observed_at":"2026-08-14T20:21:24.889434Z","submitted_at":"2023-09-26T11:59:32Z","title":"Abstraction boundaries and spec driven development in pure mathematics","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2309.14870","snapshot_observed_at":"2026-08-02T07:47:56.279041Z","title":"Commelin, A","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.279041Z"},"links":{"cited_paper":"/paper/2309.14870","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:fcce3ac5fd9dc365f1220083ca928521f36fbd41789790277c5f0305a3f5de7f","observation_id":"23495807-4f3e-4dba-bb74-f934fd1d383a","resolution":{"observed_at":"2026-08-02T07:47:56.279041Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:56.350670Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.350670Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:75bdc185413963b664e05fdd8a42f9ba72114fb6d5feb9d7523d6df1b0e489f0","observation_id":"7cc1cf8c-2627-4566-ab23-85bcd5296f0a","resolution":{"observed_at":"2026-08-02T07:47:56.350670Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06423","last_updated":"2025-08-06T15:24:21Z","snapshot_observed_at":"2026-08-13T00:10:18.621636Z","submitted_at":"2024-05-10T12:13:54Z","title":"A blueprint for the formalization of Carleson's theorem on convergence of Fourier series","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.06423","snapshot_observed_at":"2026-08-02T07:47:56.448427Z","title":"Becker, M","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.448427Z"},"links":{"cited_paper":"/paper/2405.06423","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:e4ed3fabafdfbe1023486342b3df4f48ec2d3b62fcc228d46a03d016ab1c0338","observation_id":"ccebd665-b0ed-4c88-a922-894d5ce65ce9","resolution":{"observed_at":"2026-08-02T07:47:56.448427Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2210.07746","last_updated":"2022-10-14T12:33:41Z","snapshot_observed_at":"2026-08-14T20:21:26.938784Z","submitted_at":"2022-10-14T12:33:41Z","title":"Formalising the $h$-principle and sphere eversion","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2210.07746","snapshot_observed_at":"2026-08-02T07:47:56.532484Z","title":"van Doorn, P","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.532484Z"},"links":{"cited_paper":"/paper/2210.07746","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:f8a705325bc01ce38f961d8ea5030053b45f114526501f48c5122dfb639e93e8","observation_id":"9d979633-abf7-49a4-98bf-430480a51cd4","resolution":{"observed_at":"2026-08-02T07:47:56.532484Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:56.629966Z","title":"Massot, Leanblueprint, software, https://github.com/PatrickMassot/leanblueprint","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.629966Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:ffbed3d340bd8b92d650e259378d98e3969d2e13092872fbe5d2b68e0b50af01","observation_id":"57eb18f3-3617-49ee-8c44-8f390c2211ae","resolution":{"observed_at":"2026-08-02T07:47:56.629966Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:56.814472Z","title":"Hubert, R","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.814472Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:f194a0828d9dc1e20614eb32509acc68b49908979bb727b8024efedc78602073","observation_id":"762fe2bc-d816-418f-b4d5-75db939df315","resolution":{"observed_at":"2026-08-02T07:47:56.814472Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.22763","last_updated":"2026-06-08T12:23:48Z","snapshot_observed_at":"2026-08-14T22:53:19.958938Z","submitted_at":"2026-05-21T17:24:57Z","title":"Advancing Mathematics Research with AI-Driven Formal Proof Search","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.22763","snapshot_observed_at":"2026-08-02T07:47:56.930692Z","title":"Tsoukalas, A","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:56.930692Z"},"links":{"cited_paper":"/paper/2605.22763","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:6d79bf64f11ca2741ddfe734b64a3a383347ae26a8d0fe1ab1737fd07754d777","observation_id":"d1d3ac8d-33a4-4682-bed3-1b125fc96840","resolution":{"observed_at":"2026-08-02T07:47:56.930692Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.01346","last_updated":"2025-10-10T20:12:14Z","snapshot_observed_at":"2026-08-13T13:08:02.531340Z","submitted_at":"2025-10-01T18:21:13Z","title":"Aristotle: IMO-level Automated Theorem Proving","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.01346","snapshot_observed_at":"2026-08-02T07:47:57.045682Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.045682Z"},"links":{"cited_paper":"/paper/2510.01346","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:3c6647edd4b781998e1b7b763093b9f52d6aa36204224167da36c20e7f19a58d","observation_id":"8fdfd4b9-16af-4cb1-b12a-7cfb22697235","resolution":{"observed_at":"2026-08-02T07:47:57.045682Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:57.168610Z","title":"Sothanaphan, Resolution of Erdős Problem #728: a writeup of Aristotle’s Lean proof , arXiv:2601.07421 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.168610Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:8b6df822f49b91b7ed6647b932afc1a75fed6122fc82ba32d1cbf1d32c35a85b","observation_id":"f2212f8d-8a92-41b0-8954-99eb4527c382","resolution":{"observed_at":"2026-08-02T07:47:57.168610Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.05400","last_updated":"2026-06-03T20:09:39Z","snapshot_observed_at":"2026-08-09T05:03:29.602227Z","submitted_at":"2026-06-03T20:09:39Z","title":"LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.05400","snapshot_observed_at":"2026-08-02T07:47:57.227745Z","title":"Zhang, Y","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.227745Z"},"links":{"cited_paper":"/paper/2606.05400","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:5de30902faccae2ff90155549495faa4f58ef68af97ff3c52cd82b21351fa198","observation_id":"d0401775-da69-4d06-8379-a4aa9d9b0be7","resolution":{"observed_at":"2026-08-02T07:47:57.227745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.00301","last_updated":"2026-05-01T00:09:46Z","snapshot_observed_at":"2026-08-15T04:38:48.645754Z","submitted_at":"2026-05-01T00:09:46Z","title":"Primitive sets and von Mangoldt chains: Erd\\H{o}s Problem #1196 and beyond","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.00301","snapshot_observed_at":"2026-08-02T07:47:57.309507Z","title":"Alexeev, K","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.309507Z"},"links":{"cited_paper":"/paper/2605.00301","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:be15209d2072551ee86ffe9cbc29df5b3df35818d0b2c593a0e6208b5d576b2f","observation_id":"12705d00-7c4d-4fa8-b2fa-de71be8ce0c7","resolution":{"observed_at":"2026-08-02T07:47:57.309507Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:57.475070Z","title":"Ilin, Semi-autonomous formalization of the Vlasov–Maxwell–Landau equilibrium , arXiv:2603.15929 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.475070Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:5529d9ef37af76e4d9b99eebf9520636852e30973562628a991d4e933a811a28","observation_id":"31c55acf-7cff-4316-b0de-a5094199465c","resolution":{"observed_at":"2026-08-02T07:47:57.475070Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:57.603027Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.603027Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:0855726cec6d0f273a295ebf12ddb62b7d5c223d41b670a5a02d0c871bec4906","observation_id":"f42a02eb-b562-4769-9125-127576b23570","resolution":{"observed_at":"2026-08-02T07:47:57.603027Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2604.05984","last_updated":"2026-04-07T15:12:20Z","snapshot_observed_at":"2026-08-11T06:55:41.792992Z","submitted_at":"2026-04-07T15:12:20Z","title":"Formalization of De Giorgi--Nash--Moser Theory in Lean","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2604.05984","snapshot_observed_at":"2026-08-02T07:47:57.704750Z","title":"Armstrong, J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.704750Z"},"links":{"cited_paper":"/paper/2604.05984","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:758a2e4e6c239e3bdafed48b7675da9c1baa6d77cdd8a978a7fb27cd64733d4b","observation_id":"d223a399-9437-48f9-98cf-eeb01048e60c","resolution":{"observed_at":"2026-08-02T07:47:57.704750Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.20527","last_updated":"2026-05-19T22:00:57Z","snapshot_observed_at":"2026-08-15T03:30:02.625871Z","submitted_at":"2026-05-19T22:00:57Z","title":"$L^2$-Stability for STFT phase retrieval","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.20527","snapshot_observed_at":"2026-08-02T07:47:57.847460Z","title":"Bertolini, J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.847460Z"},"links":{"cited_paper":"/paper/2605.20527","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:aeef0af781df535572201102eeb269ad694c00b40230ca90911c64096ee1f902","observation_id":"c91fd5f4-0bcb-4ab8-af42-972e06cb205b","resolution":{"observed_at":"2026-08-02T07:47:57.847460Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.06693","last_updated":"2026-07-07T18:10:15Z","snapshot_observed_at":"2026-08-15T03:30:34.620643Z","submitted_at":"2026-07-07T18:10:15Z","title":"Stable Phase Retrieval for Spans of Independent Random Variables","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.06693","snapshot_observed_at":"2026-08-02T07:47:57.967013Z","title":"Abdalla, J","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:57.967013Z"},"links":{"cited_paper":"/paper/2607.06693","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:9687a7af030293d7a1ad221a0f6bead298058b7367bcbdef34301f390feefeb3","observation_id":"0c9cf650-7afe-4848-9155-af388726a4c2","resolution":{"observed_at":"2026-08-02T07:47:57.967013Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.26052","last_updated":"2026-06-24T17:30:14Z","snapshot_observed_at":"2026-08-11T17:02:18.292686Z","submitted_at":"2026-06-24T17:30:14Z","title":"On the existence problem of regular Gabor frames","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.26052","snapshot_observed_at":"2026-08-02T07:47:58.105813Z","title":"de Dios Pont, L","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.105813Z"},"links":{"cited_paper":"/paper/2606.26052","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:8fec51427d0c1f401abf2d5a3c3ad1b95d1ec71dd44f89f832cd5c91e1c81947","observation_id":"ceeaa8a5-302a-47ee-84ec-483e3ff8c30b","resolution":{"observed_at":"2026-08-02T07:47:58.105813Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.08656","last_updated":"2026-07-09T16:26:26Z","snapshot_observed_at":"2026-08-14T20:21:39.143952Z","submitted_at":"2026-07-09T16:26:26Z","title":"Cantor measures with odd base do not admit Fourier frames","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.08656","snapshot_observed_at":"2026-08-02T07:47:58.173655Z","title":"de Dios Pont, L","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.173655Z"},"links":{"cited_paper":"/paper/2607.08656","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:74c2758719a4b4c75db02afd9c3e49d15152ae8f11c9f79c5fd763255c651c4e","observation_id":"acbcb58f-e299-463f-8801-3d887a386027","resolution":{"observed_at":"2026-08-02T07:47:58.173655Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.261987Z","title":"Zimmer, N","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.261987Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:fe52d7917f7daac070ce5a548ca9b3076d46c620f32ea97380a4ffa08de68880","observation_id":"50a6694f-b20f-4683-9c86-acb27eb8267d","resolution":{"observed_at":"2026-08-02T07:47:58.261987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2603.03684","last_updated":"2026-04-06T14:19:38Z","snapshot_observed_at":"2026-08-10T07:10:16.600197Z","submitted_at":"2026-03-04T03:23:58Z","title":"Mathematicians in the age of AI","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2603.03684","snapshot_observed_at":"2026-08-02T07:47:58.400601Z","title":"A vigad, Mathematicians in the age of AI , arXiv:2603.03684 (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.400601Z"},"links":{"cited_paper":"/paper/2603.03684","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:55049258644975282c222ec71d64dec8ab555d57de0e203a37563387652f81d6","observation_id":"c38e2f47-bbda-47f3-a866-44e5d8cf04e1","resolution":{"observed_at":"2026-08-02T07:47:58.400601Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.575189Z","title":"9th ACM SIGPLAN Int","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.575189Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:6a188c1cc60d3b9ddc8f72e30b461fa007224a646b9292d19681aac4d49e1350","observation_id":"ce698acf-1fdc-4d16-baae-7fbf6253d372","resolution":{"observed_at":"2026-08-02T07:47:58.575189Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.660364Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.660364Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:ff01548b9c9c8631623a569fd6360c47b2bab3de255bc996a3e5bb504e11d1c8","observation_id":"2558517a-ac4c-4880-adb3-3699b13bcfd5","resolution":{"observed_at":"2026-08-02T07:47:58.660364Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.777344Z","title":"Braun, K","venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.777344Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:cb5578c3628412ed0d6ee6f7edd2f3c8dee9b994b498c08418940e96f965a4fb","observation_id":"35f86fb5-2996-444f-9df3-7653b4e6e432","resolution":{"observed_at":"2026-08-02T07:47:58.777344Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.885953Z","title":"Villani, Optimal Transport: Old and New , Grundlehren der mathematischen Wissenschaften 338, Springer, 2009","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.885953Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:d66f6ba705092b539e948a7f26f7f30931f0d6083b595249713a343e97f24851","observation_id":"228e601a-f5b0-4610-a680-cf5bc551116c","resolution":{"observed_at":"2026-08-02T07:47:58.885953Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:58.985987Z","title":"Ambrosio, N","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:58.985987Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:cf88da5c025961c186dd5df8fffa65dd882de6c4d6ddfe3ee24d2528d208fbd4","observation_id":"0ff99273-6701-4e73-bd81-24acec202e8f","resolution":{"observed_at":"2026-08-02T07:47:58.985987Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.037625Z","title":"Spohn, Large Scale Dynamics of Interacting Particles , Springer, 1991","venue":null,"work_id":null,"year":1991},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.037625Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:7af576761f2af08188ce4c9e33c371a4cd35175560faae07194b33ab95c85e0f","observation_id":"4ceec71e-2c31-47ea-a6e8-362cb7736836","resolution":{"observed_at":"2026-08-02T07:47:59.037625Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.167631Z","title":"Golse, On the dynamics of large particle systems in the mean field limit , in Macroscopic and Large Scale Phenomena , Lect","venue":null,"work_id":null,"year":2016},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.167631Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:3405c23a1a17d4dc8e7bf0a475ef9849156513ce50e86e9e4478f004ce934a7d","observation_id":"2beaf2a4-3cb7-47d1-a293-230c229d345b","resolution":{"observed_at":"2026-08-02T07:47:59.167631Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.402453Z","title":"Neunzert, An introduction to the nonlinear Boltzmann–Vlasov equation , in Kinetic Theories and the Boltzmann Equation , Lecture Notes in Math","venue":null,"work_id":null,"year":1984},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.402453Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:ae34c20b08a63805a2a774866d4da9bf8d5d045fc0acd64c18ec2d728379c5fd","observation_id":"e00412e9-b16d-45a6-98ff-5adcd4701494","resolution":{"observed_at":"2026-08-02T07:47:59.402453Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.448891Z","title":"Hauray, P.-E","venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.448891Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:32808285471763506a9abd17b15acfc1b53d0ce5c8427f37fd3740059dedb6df","observation_id":"f6a4f4bb-4cc2-4bdd-a5df-d0f25efe236e","resolution":{"observed_at":"2026-08-02T07:47:59.448891Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.543767Z","title":"Lazarovici, P","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.543767Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:54a7afdc8481d61abca31157b8ece997fcf7fa8a27c0594b8e7c6672882f25a8","observation_id":"0babd45a-ece3-428f-95d8-44a5c127eefb","resolution":{"observed_at":"2026-08-02T07:47:59.543767Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2504.01471","last_updated":"2025-04-02T08:24:18Z","snapshot_observed_at":"2026-08-11T23:56:24.607300Z","submitted_at":"2025-04-02T08:24:18Z","title":"On the mean-field limit for the Vlasov-Poisson system","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.01471","snapshot_observed_at":"2026-08-02T07:47:59.631718Z","title":"Feistl-Held, P","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.631718Z"},"links":{"cited_paper":"/paper/2504.01471","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:54ba2699c13cf72d65dec3bed995690cec935a2c505c044800e1a36f0eec9a9c","observation_id":"f386cf80-3a7f-48b5-bc69-b963530904e2","resolution":{"observed_at":"2026-08-02T07:47:59.631718Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.739582Z","title":"Feistl-Held, P","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.739582Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:74473791483784afef775ba3d65e2e19920a6b3cd929bdbdf6e497b72e88a22d","observation_id":"8532eb1e-e60e-4462-b478-afa275ad61f4","resolution":{"observed_at":"2026-08-02T07:47:59.739582Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.800728Z","title":"Serfaty, Mean field limit for Coulomb-type flows , Duke Math","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.800728Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:2f695b0587680d14e059dd17a86b7266ead01eafb6f5bbcb7049667b8871c7ee","observation_id":"d69c73ce-3946-4390-bc7d-525596fd72b3","resolution":{"observed_at":"2026-08-02T07:47:59.800728Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:47:59.881779Z","title":"Nguyen, M","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.881779Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:abba4c2b971d9f93b50872b929899c4633e2d30e8e71a5a7f7bde8074e5f247e","observation_id":"e53af8a0-4224-464c-8b07-f6382b5bb62a","resolution":{"observed_at":"2026-08-02T07:47:59.881779Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2607.10686","last_updated":"2026-07-12T10:15:57Z","snapshot_observed_at":"2026-08-14T15:57:28.198151Z","submitted_at":"2026-07-12T10:15:57Z","title":"Singular mean-field limits via a multiscale mollification metric","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2607.10686","snapshot_observed_at":"2026-08-02T07:47:59.993181Z","title":"Nguyen, S","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-02T07:47:59.993181Z"},"links":{"cited_paper":"/paper/2607.10686","citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:fb8c6f24c49e02732cb1d2e17b5ec7925cd356305fcd3d958bad81f5f529c8c1","observation_id":"e72c42b2-98a5-437b-9ecb-cc43ec3ca9f8","resolution":{"observed_at":"2026-08-02T07:47:59.993181Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-02T07:48:00.108715Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-02T07:48:00.108715Z"},"links":{"citing_paper":"/paper/2607.08986"},"observation_digest":"sha256:707c96c44ec0551c76a99c0b588b8195680b8e0df95e7488d296d63b991d6a5a","observation_id":"0ec10b19-d6d9-4d36-96c8-093f8fdfe1c7","resolution":{"observed_at":"2026-08-02T07:48:00.108715Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.08986","last_updated":"2026-07-20T06:11:54Z","latest_version":2,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-15T03:30:36.178911Z","submitted_at":"2026-07-09T23:17:54Z","title":"A Formalization of the Mean-Field Derivation of the Vlasov Equation"},"reference_resolution":{"displayed":36,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":36,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":36},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-15T06:32:42.880941+00:00","source":"crossref"},{"observed_at":"2026-08-15T06:32:39.529945+00:00","source":"retraction_watch"}],"thesis":"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."}