Paper Citation Record · LEDGER

Banach lattices and phase retrieval: A case study for the use of AI in mathematics

As of 23 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2608.07396.

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

pith.paper-citation-record.v1
2608.07396 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-15T14:30:54.189053Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact5
verified fuzzy16
unresolved7
parse uncertain0
malformed identifier0
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation cedd4266-0934-4aa6-acc0-353452cdcfbc · outbound

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

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Stable Phase Retrieval for Spans of Independent Random Variables

Reference 1

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:30:54.520080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ec4a0444-a29a-4fe0-bfb6-b360866e5a93 · outbound

This paper cites Mathematicians in the age of AI.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Mathematicians in the age of AI

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.079056Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fd988062-b186-42e4-a070-ac5311aca23f · outbound

This paper cites Amalgamation and injectivity in Banach lattices.Int.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Amalgamation and injectivity in Banach lattices.Int

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.747259Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation db8adad0-c1b5-4ba3-b438-b07a05e583fc · outbound

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

Banach lattices and phase retrieval: A case study for the use of AI in mathematics $L^2$-Stability for STFT phase retrieval

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.086959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f6cc2621-c015-4701-b5be-250299bc95b8 · outbound

This paper cites Bilokopytov, A.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Bilokopytov, A

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.735495Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b7f5c914-9940-4422-8ebd-3f88ce893d28 · outbound

This paper cites Formalising perfectoid spaces.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Formalising perfectoid spaces

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.722428Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 67c436db-3880-4e54-9dbc-5607ef8db67a · outbound

This paper cites Advancing mathematics by guiding human intuition with ai.Nature, 600(7887):70–74, 2021.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Advancing mathematics by guiding human intuition with ai.Nature, 600(7887):70–74, 2021

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.709771Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 365cca9e-451f-4e5b-b6bb-12ff13b652c9 · outbound

This paper cites The Lean 4 Theorem Prover and Programming Language.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics The Lean 4 Theorem Prover and Programming Language

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.695995Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ea02c6f1-a9af-4e13-8abd-3dc82fddf402 · outbound

This paper cites Garc´ ıa-S´ anchez and P.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Garc´ ıa-S´ anchez and P

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.683012Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 14e77990-efad-4f71-82a4-9264732b4ae1 · outbound

This paper cites Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi- Autonomous Formalization.arXiv preprint arXiv:2606.13925, 2026.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi- Autonomous Formalization.arXiv preprint arXiv:2606.13925, 2026

Reference 10

Resolution: verified exact; raw_fallback, observed 2026-08-15T14:30:54.474641Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b6041349-67d2-4fcd-abde-93473dbb75db · outbound

This paper cites hot spots.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics hot spots

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.655400Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation e3e6f260-5630-46c7-a09d-8ab64b38fb97 · outbound

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

Banach lattices and phase retrieval: A case study for the use of AI in mathematics From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Reference 12

Resolution: metadata mismatch; local_arxiv, observed 2026-08-15T14:30:54.398481Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 2e48b561-e01e-4579-ad69-629e1989f67f · outbound

This paper cites Mathematical methods and human thought in the age of AI.arXiv preprint arXiv:2603.26524, 2026.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Mathematical methods and human thought in the age of AI.arXiv preprint arXiv:2603.26524, 2026

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.129415Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cac976df-e95e-44a5-b6d6-d78906e4ab15 · outbound

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

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Cantor measures with odd base do not admit Fourier frames

Reference 14

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:30:54.291709Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d8ee5266-5494-4c66-8980-92ec29c570a1 · outbound

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

Banach lattices and phase retrieval: A case study for the use of AI in mathematics On the existence problem of regular Gabor frames

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.137571Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9bd138c3-5b02-4add-a6b7-d022f6cec34a · outbound

This paper cites Improved upper bounds for the Hot Spots constant of Lipschitz domains.Potential Analysis, 59(2):771–787, 2023.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Improved upper bounds for the Hot Spots constant of Lipschitz domains.Potential Analysis, 59(2):771–787, 2023

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.642890Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation b1fe1a1a-9436-40e1-9b02-106289efa12f · outbound

This paper cites Free Products of Banach Lattices.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Free Products of Banach Lattices

Reference 17

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:30:54.259570Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ab45e1dd-18b8-466d-88be-0b8e302942cc · outbound

This paper cites Autoformalize your math.https://lean.functionalanalysismadrid.com/.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Autoformalize your math.https://lean.functionalanalysismadrid.com/

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.630617Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 843ef5ad-699b-41e3-ad5e-5632c4c041e4 · outbound

This paper cites The Banach lattice Lean library.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics The Banach lattice Lean library

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.618767Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 9a18cffe-b872-4204-8884-25be5c50a529 · outbound

This paper cites Taylor, Pedro Tradacete, and Vladimir G.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Taylor, Pedro Tradacete, and Vladimir G

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.605394Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d09506cf-7e91-4f25-906f-a6b233e9f3e5 · outbound

This paper cites Sharp bounds on the failure of the hot spots conjecture.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Sharp bounds on the failure of the hot spots conjecture

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.161293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 003a1323-4c7e-4294-bae0-fc6134f13ad2 · outbound

This paper cites Formalizing Mathematics at Scale.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Formalizing Mathematics at Scale

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-15T14:30:54.227309Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ec6a8a14-c4e9-4901-ae80-0b2728f84ca9 · outbound

This paper cites Liquid tensor experiment.Experimental Mathematics, 31(2):349–354, 2022.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Liquid tensor experiment.Experimental Mathematics, 31(2):349–354, 2022

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.169670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04a7bbef-c68d-4a54-92c7-71b4c45f150b · outbound

This paper cites An upper bound on the hot spots constant.Revista Mathematica Iberoamericana, 39(4), 2023.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics An upper bound on the hot spots constant.Revista Mathematica Iberoamericana, 39(4), 2023

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.583204Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 17177247-4921-4f58-90f1-fa459bc01bb2 · outbound

This paper cites Machine-assisted proof.Notices of the American Mathematical Society, 72(1):6–13, 2025.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics Machine-assisted proof.Notices of the American Mathematical Society, 72(1):6–13, 2025

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-15T14:30:54.177184Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fb334f1-199a-43c0-9810-337992aea9d5 · outbound

This paper cites The integrated explicit analytic number theory network : a progress report.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics The integrated explicit analytic number theory network : a progress report

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.560272Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1dd67354-7927-4b0e-aad2-f74aa0dd9e97 · outbound

This paper cites The Lean Mathematical Library.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics The Lean Mathematical Library

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.546302Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation faebc5c9-43e3-4fa7-ab37-d9d8b8409d62 · outbound

This paper cites On proof and progress in mathematics.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics On proof and progress in mathematics

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.533267Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation d6d592c9-6291-433d-b95c-868cf1352425 · outbound

This paper cites BANACH LATTICES AND PHASE RETRIEV AL: A CASE STUDY FOR THE USE OF AI IN MATHEMATICS 17.

Banach lattices and phase retrieval: A case study for the use of AI in mathematics BANACH LATTICES AND PHASE RETRIEV AL: A CASE STUDY FOR THE USE OF AI IN MATHEMATICS 17

Reference 2024

Resolution: verified fuzzy; raw_fallback, observed 2026-08-15T14:30:54.669521Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Pith citing papers

No inbound Pith citation observations are available.