Paper Citation Record · LEDGER

A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

As of 14 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 6 inbound Pith citation observations for arXiv:2405.06423.

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

pith.paper-citation-record.v1
2405.06423 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 6 of 6 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-06T19:54:11.627549Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T14:59:55.467255Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation a3789468-f315-47fd-a9bb-8d5035b3453b · inbound

The Bilinear Hilbert-Carleson operator along curves. The purely non-zero curvature case cites this paper.

The Bilinear Hilbert-Carleson operator along curves. The purely non-zero curvature case A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T19:54:11.627549Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dfe544b4-0e09-4337-bd60-5e97182eda25 · inbound

Quantitative Polynomial Wiener-Wintner Theorems cites this paper.

Quantitative Polynomial Wiener-Wintner Theorems A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-03T12:15:20.919275Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 438020bf-0efb-4cd7-888b-4dccb85126b3 · inbound

A Minimal Agent for Automated Theorem Proving cites this paper.

A Minimal Agent for Automated Theorem Proving A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 2

Resolution: verified exact; arxiv_id, observed 2026-05-15T18:46:29.354679Z

Source-reported events for the cited work

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

Observation 91dbe2f9-6623-4ed7-8e40-dc8db0b2d186 · inbound

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

LeanMarathon: Toward Reliable AI Co-Mathematicians through Long-Horizon Lean Autoformalization A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-02T08:36:48.787827Z

Source-reported events for the cited work

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

Observation 89287c00-f6c9-4785-ada2-fb6032559268 · inbound

On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case cites this paper.

On the resonant Carleson-Radon transform in all dimensions. The degree one resonant case A blueprint for the formalization of Carleson's theorem on convergence of Fourier series

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-07-04T14:59:55.468825Z

Source-reported events for the cited work

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

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

A Formalization of the Mean-Field Derivation of the Vlasov Equation cites this paper.

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.