{"as_of":"2026-08-17T08:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:99c554515214f87e4da87c05db712aae505ec4bcd911277c72e1ec008a92e141","coverage":[{"denominator":40,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":40,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T06:54:54.195785Z","state":"measured"},{"denominator":40,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":40,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-17T06:30:58.91139+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"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":[],"links":{"evidence":"/evidence","html":"/paper/2607.05492/citation-record","integrity":"/paper/2607.05492/integrity","json":"/paper/2607.05492/citation-record.json","paper":"/paper/2607.05492"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":"Kasaura, K","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:bb69820b120e7881a7d42f7d5963b4eb52ff2df43ed5de5a125858bf67f8afec","observation_id":"d11a5d5d-fd08-422c-a5c8-73fdcb72a9be","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Watrous,The Theory of Quantum Information(Cambridge University Press, 2018)","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:d150a4af62cc73e5364c4ca45609091028ddd22703f8d661ca3fde593f13b0de","observation_id":"110d6929-df27-4e96-a835-1b2ddca80b34","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Müller-Lennert, F","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:5a34f1b761f5d03c04213ec4c48b3758fec3042572986c4a41a31c9d091e97a5","observation_id":"7c7bead0-c89a-4cb5-ade1-62b1660ee68d","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:889dfe422c8121aefffbc49682a656aefc7ad3a7422245bf7de5c818c10cb7e3","observation_id":"b1374c64-9400-4d26-be8a-be88b58e9f11","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Jakšić, Y","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:2f5931f7f06f97643fad4fc02edbe76498d34f4617198a406d6edb848d4cb4b7","observation_id":"97f9bbb4-61f7-4314-9427-52c54f274ed5","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b29b440adf3c942ee4f179b8910fc5a436a49dfb26ca0952111fbb6830da5a0c","observation_id":"2b7449e9-6ad4-4476-99fb-d54a5a549113","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Beigi, Sandwiched rényi divergence satisfies data processing inequality, Journal of Mathematical Physics54(2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:da4eb7645fb91704583a685c2ad7e34e69d501b8fa68345bba4f8b9aa1d4ec2f","observation_id":"559a6951-2a46-415e-8455-ce82027a421f","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08810","last_updated":"2024-06-19T01:39:44Z","snapshot_observed_at":"2026-08-15T00:52:11.520317Z","submitted_at":"2024-05-14T17:55:32Z","title":"Quantum computing with Qiskit","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.08810","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":"Javadi-Abhari, M","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2405.08810","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:5f38b7e3ed75152aecc401d63d1371e338578cfff35575d2440953a8ecc4ba99","observation_id":"83f2bfb2-b764-48b5-937a-f03882a85b25","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Suzuki, Y","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b4f45f86e108030a8ab7ed9d5891b03bd91bcce8b5608e0fcdafde032b2d645c","observation_id":"d21f2b08-5c6b-4038-ae94-403d12b7e9b0","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Gidney, Stim: a fast stabilizer circuit simulator, Quantum5, 497 (2021)","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:1137574398e4bcf838ec6ce5d9468eb486fc4ab120a948bd2fa0913b5d5f96bb","observation_id":"dc431011-8540-4e96-9fd8-4c26e7fb54ff","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:0c6e7dde29c7d540ef042d768fe8f0bd7f045cfb44ac28d415c576953c8ef461","observation_id":"eb62aa82-2619-4cea-923e-8729f67cfea5","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:9ce74f1dbd4d8e3b0e5c4aa14989ce353c9a877de553488fc480ef6cb637fb5c","observation_id":"5362a796-ef88-455a-9fe5-91de5331f119","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Meiburg, L","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:5cf955844a073d10519fc3843777497b3c665295b13df0e04f14d4e8a6c0311f","observation_id":"03e26b07-295f-4a33-9ecc-e1ac8e442d6b","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2510.20728","last_updated":"2026-04-06T14:46:30Z","snapshot_observed_at":"2026-08-13T17:01:58.945054Z","submitted_at":"2025-10-23T16:45:39Z","title":"Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2510.20728","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2510.20728","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:f004a87a738913878e5629b4c770f24381aa26e0ac9e55765d892f67952f4752","observation_id":"c5a317e7-839c-41cd-84fe-b305ac7f16c0","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:5cf21eeb081fee9e83c5071f4b516784fb00bf91a58be02c08e196a2a44933c9","observation_id":"81f24c44-4423-42f8-b1e0-ac195efc2a96","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2605.16523","last_updated":"2026-05-15T18:17:55Z","snapshot_observed_at":"2026-08-15T19:23:19.900503Z","submitted_at":"2026-05-15T18:17:55Z","title":"End-to-End Formalization of Quantum Error Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2605.16523","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":"Ehatamm, Y","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2605.16523","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:d85edb016cfccc69259e35306b03a0322304ca2b9a987ae298046e4db8e5929c","observation_id":"6d457a3a-7ec7-4e91-9844-c86d1e99cc78","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2606.29687","last_updated":"2026-06-29T01:25:40Z","snapshot_observed_at":"2026-07-07T00:03:36.327050Z","submitted_at":"2026-06-29T01:25:40Z","title":"A Machine-Verified Proof of a Quantum-Optimization Conjecture","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2606.29687","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2606.29687","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:4e96df2e899078b062c22231706eba1816dec995ed42448733f41a587c78cf59","observation_id":"a887ab8f-5b43-41e0-8774-f16910aa7c9f","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Hansen and G","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:05f0db39e67179658240d4efb083850be3446f1477bf58707f9c35ddfc23beec","observation_id":"b8e6a1c1-3dc8-4972-a846-32e12406716a","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:6d7e69ac54c1def3c8134aa00db2caaa5bc82facf964277dd5b2c57a4a414020","observation_id":"299c7e02-5a1a-4273-a7d0-21a2f223ab0a","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Ebadian, I","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:eca229a0d95b39a77f83ec8d9fe7a9fc0b9ba6cf47bbddb012504fee5809d3db","observation_id":"fe0a66b4-1036-45ad-904a-2702e85b3452","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Kubo and T","venue":null,"work_id":null,"year":1980},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:0e71b6350f20c78d566fe3412318c7740f535e67fb93457a39192d44b0e91660","observation_id":"03608f1b-2729-4df3-b710-fd56e477ef7b","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:f59fc70d7efcf697e29d093e77a89f56e70b11612b2e8a730f7e4569ef25d592","observation_id":"86559b4a-a286-43bb-bfba-824df951c93f","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Nikoufar, A","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:1504d5f4ccc034479cbcb2eb7b1fbe6a2407c9dfc4409e214a3f64658f3edb28","observation_id":"bd04ee9f-5d77-4a89-93dd-292fa63ad613","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Löwner, Über monotone matrixfunktionen, Mathematische Zeitschrift38, 177 (1934)","venue":null,"work_id":null,"year":1934},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:19209bec6f309ceb856c39f3e0fb9c28e6b3de95256cab3070ceda33b0618e99","observation_id":"72082880-952f-4894-9b73-daedab27ae27","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Heinz, Beiträge zur störungstheorie der spektralzerleung, Mathematische Annalen123, 415 (1951)","venue":null,"work_id":null,"year":1951},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:962543faffde3e67d73203d740be744cdbabdf83cf4ff3b2dfe1e536b1d47ade","observation_id":"5f0684af-c2fe-40bc-b7a6-211fbfbaf61e","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:659f5ac154b2890731deab3ab5bfc906cdef4f3b10f015d95915c11eda9ad1ee","observation_id":"72dabd9b-69a8-4653-9113-7e10417b449c","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:f8387ead6c3c48d52dac1b6c4a2c0226b21fc8f5ca176bec131e1452b36e7bfb","observation_id":"7f9c8db7-c95f-4a80-8dae-a4ccb227ae72","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b5f7e12aa1277d90e92bd95d43ae70ad9c58af4fdaf562b3f28cefeae5c83278","observation_id":"3ba8144c-5432-41bf-a675-ba122caddeb2","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2015},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:5b6baa0b48ccaa92f424b312edaef85de8889c52cd1f12b7804726f04f072dba","observation_id":"080adb65-50a0-49da-93bd-d913bc0b4a2e","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Hayashi and H","venue":null,"work_id":null,"year":1988},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b068633e06d64b16f9f55572c2ddaf2551eb2fa6054981d01cd146caca54d04d","observation_id":"80286ccf-f57e-45e8-a9b2-beb789d4b120","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Lami, A Solution of the Generalized Quantum Stein’s Lemma, IEEE Transactions on Information Theory71, 4454 (2025)","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b46bbd978218267ec86728aa375318e4731432d509e0fb29c9ee848ad99cfc0f","observation_id":"0e7bb0c0-fe6d-4110-8498-644e2dcd9f92","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:892f54f9afd650c841ec430d26b0e36a274a7b7171b339290412d76935f0982c","observation_id":"7298d3f8-b9e4-4406-9c9b-9a1b638402a9","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Berta, F","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:4f7c714cc31159e364ceebb7edc1fd4ad08c65a326051cde46bcdb351091fafa","observation_id":"ddb1102e-1467-4b3a-b85a-e13753b9efc8","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Meiburg and contributors, Lean quantum information,https://github.com/Timeroot/Lean-QuantumInfo","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:ffd534da294bdf680a1455270138fac06919f24a1a01d1811cc5d86dd6a2c9a0","observation_id":"05370736-cfb0-434e-882e-b6a587fb9732","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:353983c3535e21073f771c96d7d416ee793e882b3aaffacdfcbd216f475fb0f0","observation_id":"afed11f5-7a69-4311-ba26-c1a95ee58732","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Hietala, R","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:32e3b4fa18f0702d057907efca791d3780525570ebc496f86b27e61ca34468b1","observation_id":"6b47be88-0b28-41b9-944d-87ed4a570b01","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Bordg, H","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:9b0a3dfdd6d1ded54d87585db513649874412608fbb20cf16e09def1b1dc0119","observation_id":"9d73ef80-6340-447b-94dd-bad3ca8c6802","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2204.07112","last_updated":"2022-04-14T17:02:34Z","snapshot_observed_at":"2026-08-16T17:06:52.864770Z","submitted_at":"2022-04-14T17:02:34Z","title":"A Formally Certified End-to-End Implementation of Shor's Factorization Algorithm","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2204.07112","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2204.07112","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:68af98c1f8b58970d6f1dde3ba3bb98b1e76e7fe96668a02c8e5dbd6d2e1026e","observation_id":"33a5cdfa-28e3-49af-b8cb-23e710c3f1aa","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2207.11350","last_updated":"2022-07-22T21:41:11Z","snapshot_observed_at":"2026-08-16T16:43:57.040760Z","submitted_at":"2022-07-22T21:41:11Z","title":"CoqQ: Foundational Verification of Quantum Programs","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2207.11350","snapshot_observed_at":"2026-07-11T06:54:54.195785Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"cited_paper":"/paper/2207.11350","citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:b62bae1e0a53292be322c73f83719c9f5ffd8cc40f8256e763f0540f2b6ae096","observation_id":"b0772bb9-072c-46d3-a425-e0c010913e34","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","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-07-11T06:54:54.195785Z","title":"Meiburg, Private communication (2026)","venue":null,"work_id":null,"year":2026},"citing_paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-11T06:54:54.195785Z"},"links":{"citing_paper":"/paper/2607.05492"},"observation_digest":"sha256:3338a5a51a89b10b97b1309d10767f778ef6b4376b82f4fe91df2979b0330ca9","observation_id":"22b24c0e-0ecc-4c71-a8f5-06ef416eedf4","resolution":{"observed_at":"2026-07-11T06:54:54.195785Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.05492","last_updated":"2026-07-06T18:00:00Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-09T08:09:28.889640Z","submitted_at":"2026-07-06T18:00:00Z","title":"Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information"},"reference_resolution":{"displayed":40,"state_counts":{"malformed_identifier":0,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":40,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":40},"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-17T06:30:58.91139+00:00","source":"crossref"},{"observed_at":"2026-08-17T06:30:54.323127+00:00","source":"retraction_watch"}],"thesis":"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."}