Paper Citation Record · LEDGER

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information

As of 17 August 2026, this Paper Citation Record lists 40 of 40 outbound references and 0 inbound Pith citation observations for arXiv:2607.05492.

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

pith.paper-citation-record.v1
2607.05492 v1

Coverage vector

measured 40 of 40 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T06:54:54.195785Z

measured 40 of 40 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+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

40 of 40 outbound references displayed

verified exact0
verified fuzzy0
unresolved40
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation d11a5d5d-fd08-422c-a5c8-73fdcb72a9be · outbound

This paper cites Kasaura, K.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Kasaura, K

Reference 1

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 110d6929-df27-4e96-a835-1b2ddca80b34 · outbound

This paper cites Watrous,The Theory of Quantum Information(Cambridge University Press, 2018).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Watrous,The Theory of Quantum Information(Cambridge University Press, 2018)

Reference 2

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7c7bead0-c89a-4cb5-ade1-62b1660ee68d · outbound

This paper cites Müller-Lennert, F.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Müller-Lennert, F

Reference 3

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1374c64-9400-4d26-be8a-be88b58e9f11 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97f9bbb4-61f7-4314-9427-52c54f274ed5 · outbound

This paper cites Jakšić, Y.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Jakšić, Y

Reference 5

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2b7449e9-6ad4-4476-99fb-d54a5a549113 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 559a6951-2a46-415e-8455-ce82027a421f · outbound

This paper cites Beigi, Sandwiched rényi divergence satisfies data processing inequality, Journal of Mathematical Physics54(2013).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Beigi, Sandwiched rényi divergence satisfies data processing inequality, Journal of Mathematical Physics54(2013)

Reference 7

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 83f2bfb2-b764-48b5-937a-f03882a85b25 · outbound

This paper cites Quantum computing with Qiskit.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Quantum computing with Qiskit

Reference 8

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d21f2b08-5c6b-4038-ae94-403d12b7e9b0 · outbound

This paper cites Suzuki, Y.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Suzuki, Y

Reference 9

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc431011-8540-4e96-9fd8-4c26e7fb54ff · outbound

This paper cites Gidney, Stim: a fast stabilizer circuit simulator, Quantum5, 497 (2021).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Gidney, Stim: a fast stabilizer circuit simulator, Quantum5, 497 (2021)

Reference 10

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb62aa82-2619-4cea-923e-8729f67cfea5 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5362a796-ef88-455a-9fe5-91de5331f119 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03e26b07-295f-4a33-9ecc-e1ac8e442d6b · outbound

This paper cites Meiburg, L.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Meiburg, L

Reference 13

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5a317e7-839c-41cd-84fe-b305ac7f16c0 · outbound

This paper cites Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems

Reference 14

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 81f24c44-4423-42f8-b1e0-ac195efc2a96 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d457a3a-7ec7-4e91-9844-c86d1e99cc78 · outbound

This paper cites End-to-End Formalization of Quantum Error Correction.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information End-to-End Formalization of Quantum Error Correction

Reference 16

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a887ab8f-5b43-41e0-8774-f16910aa7c9f · outbound

This paper cites A Machine-Verified Proof of a Quantum-Optimization Conjecture.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information A Machine-Verified Proof of a Quantum-Optimization Conjecture

Reference 17

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b8e6a1c1-3dc8-4972-a846-32e12406716a · outbound

This paper cites Hansen and G.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Hansen and G

Reference 18

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 299c7e02-5a1a-4273-a7d0-21a2f223ab0a · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fe0a66b4-1036-45ad-904a-2702e85b3452 · outbound

This paper cites Ebadian, I.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Ebadian, I

Reference 20

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03608f1b-2729-4df3-b710-fd56e477ef7b · outbound

This paper cites Kubo and T.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Kubo and T

Reference 21

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86559b4a-a286-43bb-bfba-824df951c93f · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bd04ee9f-5d77-4a89-93dd-292fa63ad613 · outbound

This paper cites Nikoufar, A.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Nikoufar, A

Reference 23

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72082880-952f-4894-9b73-daedab27ae27 · outbound

This paper cites Löwner, Über monotone matrixfunktionen, Mathematische Zeitschrift38, 177 (1934).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Löwner, Über monotone matrixfunktionen, Mathematische Zeitschrift38, 177 (1934)

Reference 24

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f0684af-c2fe-40bc-b7a6-211fbfbaf61e · outbound

This paper cites Heinz, Beiträge zur störungstheorie der spektralzerleung, Mathematische Annalen123, 415 (1951).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Heinz, Beiträge zur störungstheorie der spektralzerleung, Mathematische Annalen123, 415 (1951)

Reference 25

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72dabd9b-69a8-4653-9113-7e10417b449c · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f9c8db7-c95f-4a80-8dae-a4ccb227ae72 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ba8144c-5432-41bf-a675-ba122caddeb2 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 080adb65-50a0-49da-93bd-d913bc0b4a2e · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 80286ccf-f57e-45e8-a9b2-beb789d4b120 · outbound

This paper cites Hayashi and H.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Hayashi and H

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0e7bb0c0-fe6d-4110-8498-644e2dcd9f92 · outbound

This paper cites Lami, A Solution of the Generalized Quantum Stein’s Lemma, IEEE Transactions on Information Theory71, 4454 (2025).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Lami, A Solution of the Generalized Quantum Stein’s Lemma, IEEE Transactions on Information Theory71, 4454 (2025)

Reference 31

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7298d3f8-b9e4-4406-9c9b-9a1b638402a9 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ddb1102e-1467-4b3a-b85a-e13753b9efc8 · outbound

This paper cites Berta, F.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Berta, F

Reference 33

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05370736-cfb0-434e-882e-b6a587fb9732 · outbound

This paper cites Meiburg and contributors, Lean quantum information,https://github.com/Timeroot/Lean-QuantumInfo.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Meiburg and contributors, Lean quantum information,https://github.com/Timeroot/Lean-QuantumInfo

Reference 34

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation afed11f5-7a69-4311-ba26-c1a95ee58732 · outbound

This paper cites an unresolved cited work.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Unresolved cited work

Reference 35

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b47be88-0b28-41b9-944d-87ed4a570b01 · outbound

This paper cites Hietala, R.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Hietala, R

Reference 36

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d73ef80-6340-447b-94dd-bad3ca8c6802 · outbound

This paper cites Bordg, H.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Bordg, H

Reference 37

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 33a5cdfa-28e3-49af-b8cb-23e710c3f1aa · outbound

This paper cites A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm

Reference 38

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b0772bb9-072c-46d3-a425-e0c010913e34 · outbound

This paper cites CoqQ: Foundational Verification of Quantum Programs.

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information CoqQ: Foundational Verification of Quantum Programs

Reference 39

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22b24c0e-0ecc-4c71-a8f5-06ef416eedf4 · outbound

This paper cites Meiburg, Private communication (2026).

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information Meiburg, Private communication (2026)

Reference 40

Resolution: unresolved; no resolver link, observed 2026-07-11T06:54:54.195785Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.