{"as_of":"2026-08-07T08:17:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:3b05de0970c8756cc58e6abdd47acdb0ce5b1882dff19a0b10ef596cafbf809e","coverage":[{"denominator":111,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T16:55:06.106833Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+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-05-10T03:16:32.343797Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"arxiv_reference","source_observed_at":"2026-05-11T12:41:03.246341Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"cited_work":{"arxiv_id":"2507.12253","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.12253","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Ghosh, A","venue":null,"work_id":"49ef28b6-658c-4a21-9be4-ecc32661935e","year":2025},"citing_paper":{"arxiv_id":"2604.19855","last_updated":"2026-04-23T12:31:46Z","snapshot_observed_at":"2026-07-06T23:06:26.596990Z","submitted_at":"2026-04-21T17:06:43Z","title":"Toward designing workload-aware Surface Code Architectures","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-10T03:16:32.343797Z"},"links":{"cited_paper":"/paper/2507.12253","citing_paper":"/paper/2604.19855"},"observation_digest":"sha256:ffec99a4bc1e89d2eee9ea5ae4601156c24ae2d9724d3a8c5cb558d5aed473fb","observation_id":"bef8bfd1-ff49-4665-96ca-ca8b3da2a3d0","resolution":{"observed_at":"2026-05-11T12:41:03.251544Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"links":{"evidence":"/evidence","html":"/paper/2507.12253/citation-record","integrity":"/paper/2507.12253/integrity","json":"/paper/2507.12253/citation-record.json","paper":"/paper/2507.12253"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:54:55.239579Z","title":"Quantum error correction for dummies,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.239579Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:4ada134b3fc79448c918a33e80634a10a0244e744fa11fd7c0c2a143f29d77af","observation_id":"78d6a418-a5f8-4283-ad6b-78e41c2edf30","resolution":{"observed_at":"2026-08-06T16:54:55.239579Z","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-06T16:54:55.293645Z","title":"Introduction to quantum noise, measurement, and amplification,","venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.293645Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:5ac252f3fda04a30bffc8200035babb73f4b0e8fa5371e910b31a9707f0975bc","observation_id":"baea9452-c364-4bec-92d4-a1f6e63645e3","resolution":{"observed_at":"2026-08-06T16:54:55.293645Z","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-06T16:54:55.338222Z","title":"Quantum computing in the nisq era and beyond,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.338222Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:37b04572771ee29e985eca33886a7ba81082b6fa2984cc5ac408d53ed5137218","observation_id":"397932d5-7bee-4d7a-afdb-5eb9043da8c3","resolution":{"observed_at":"2026-08-06T16:54:55.338222Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9705052","last_updated":"1997-05-28T23:51:29Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"1997-05-28T23:51:29Z","title":"Stabilizer Codes and Quantum Error Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9705052","snapshot_observed_at":"2026-08-06T16:54:55.461732Z","title":"Stabilizer codes and quantum error correction,","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.461732Z"},"links":{"cited_paper":"/paper/quant-ph/9705052","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8db2c69b1c1b516ba8b29fd9753c689cccb9da1587d4a8569c020af2c876ee9f","observation_id":"4815fe22-6341-4856-8a15-d15dfccfab5a","resolution":{"observed_at":"2026-08-06T16:54:55.461732Z","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-06T16:54:55.530988Z","title":"Surface codes: Towards practical large-scale quantum computation,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.530988Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8d330bf937fc39c6b79f27748a98f49e8e2ce4e9ef8a10d1f86196fec4f84f67","observation_id":"48afb83b-ae4e-404d-a849-4494218e01fb","resolution":{"observed_at":"2026-08-06T16:54:55.530988Z","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-06T16:54:55.612826Z","title":"A single quantum cannot be cloned,","venue":null,"work_id":null,"year":1982},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.612826Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:fe2cdfb64d680aeb6ef629df584d78263e5f1642033cb8b83cdab27eb3ac113e","observation_id":"c7a47621-a6a5-4f9d-a0ae-fadb172fdfd2","resolution":{"observed_at":"2026-08-06T16:54:55.612826Z","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-06T16:54:55.656763Z","title":"Error detecting and error correcting codes,","venue":null,"work_id":null,"year":1950},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.656763Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8f52c6d6f612c17e19e367f9997864bd9c413c5e69c499c8f0ef4f94613de780","observation_id":"3a51e03a-053c-4e4e-85ec-5ee508409e90","resolution":{"observed_at":"2026-08-06T16:54:55.656763Z","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-06T16:54:55.685814Z","title":"On a class of error correcting binary group codes,","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.685814Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:a69676f766cd2a4f3569ea093526844f8a819ad7134387486008c4eacdc06e16","observation_id":"f09e58ad-2a6f-4ed2-a357-d938f74880f5","resolution":{"observed_at":"2026-08-06T16:54:55.685814Z","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-06T16:54:55.752706Z","title":"Polynomial codes over certain finite fields,","venue":null,"work_id":null,"year":1960},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.752706Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6182613d31f72ba44b442bf26164a91bc15adb91e50a7ef42d609ed055e2d28d","observation_id":"5fb6c5a3-4d11-469a-b4df-550d0733fef5","resolution":{"observed_at":"2026-08-06T16:54:55.752706Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0204153","last_updated":"2002-05-08T09:38:14Z","snapshot_observed_at":"2026-07-07T07:07:46.363755Z","submitted_at":"2002-04-26T08:02:05Z","title":"A stronger no-cloning theorem","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0204153","snapshot_observed_at":"2026-08-06T16:54:55.814155Z","title":"A stronger no-cloning theorem,","venue":null,"work_id":null,"year":2002},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.814155Z"},"links":{"cited_paper":"/paper/quant-ph/0204153","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:a38b6fefcb63fae808876dab7cf2302c67d3f6ac6583190ca24738f0b1d736a7","observation_id":"a66a7434-b231-4f84-a94a-3412febb46a7","resolution":{"observed_at":"2026-08-06T16:54:55.814155Z","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-06T16:54:55.870859Z","title":"von Neumann, Mathematical Foundations of Quantum Mechanics: New Edition","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.870859Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:999989702547dec9f57412fe3fc473035c7abbe6392921357982342221c36ab8","observation_id":"b012817d-b820-4712-9dfa-386b21555004","resolution":{"observed_at":"2026-08-06T16:54:55.870859Z","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-06T16:54:55.914491Z","title":"Stabilizer formalism for operator algebra quantum error correction,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.914491Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:feffe5548f3ae97a5d6925d4636f13f519cd469c7646165dfe509b6c281469f2","observation_id":"c50b1b79-42e6-4147-85f5-ee0de753b37e","resolution":{"observed_at":"2026-08-06T16:54:55.914491Z","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":"10.1038/nature10786","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:08.845915Z","title":"Realization of three-qubit quantum error correction with superconducting circuits,","venue":null,"work_id":"975db543-6a8e-4ec8-9479-7a0f76a85ccc","year":2012},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:55.971569Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:7761081c674be7931e0ce08f27f46b4a058eb5d886d9beaa0df8cdb62212721b","observation_id":"71ea36c7-098e-43d8-bdfa-3b8d6b8c982d","resolution":{"observed_at":"2026-08-06T16:55:08.908763Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9608012","last_updated":"1996-08-08T23:13:46Z","snapshot_observed_at":"2026-07-07T07:26:23.959413Z","submitted_at":"1996-08-08T23:13:46Z","title":"Concatenated Quantum Codes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9608012","snapshot_observed_at":"2026-08-06T16:54:56.006044Z","title":"Concatenated quantum codes,","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.006044Z"},"links":{"cited_paper":"/paper/quant-ph/9608012","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:b1f43c68fbbe0696d120c149723dc0ac1f27a29edf7e45919e8f3d1f20c4d52e","observation_id":"0070b344-7488-4f25-bf2b-d9b33e9b993b","resolution":{"observed_at":"2026-08-06T16:54:56.006044Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9607027","last_updated":"1996-07-31T17:37:41Z","snapshot_observed_at":"2026-08-02T12:23:27.099317Z","submitted_at":"1996-07-31T17:37:41Z","title":"Pasting Quantum Codes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9607027","snapshot_observed_at":"2026-08-06T16:54:56.055165Z","title":"Pasting quantum codes,","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.055165Z"},"links":{"cited_paper":"/paper/quant-ph/9607027","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:e62f3a439ec7d93eef4155684c879d3ea78f337ad1e2873692d80ab08ee74dae","observation_id":"497d5e59-d222-49b2-b425-d5358984e940","resolution":{"observed_at":"2026-08-06T16:54:56.055165Z","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":"10.1103/physreva.79.050306","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:08.667967Z","title":"Generalized concatenated quantum codes,","venue":null,"work_id":"62347161-c87c-4776-8626-32efd8d78c55","year":2009},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.105463Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:4b0925a047be939587f1816086fc79b4f482b2f12638b0f0184c52135a91505d","observation_id":"e4da4e05-c04b-46f1-8169-eef87a767c69","resolution":{"observed_at":"2026-08-06T16:55:08.750074Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:54:56.157901Z","title":"Simple quantum error-correcting codes,","venue":null,"work_id":null,"year":1996},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.157901Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:b37c518cd2622aba8b94b1e963d1e19b0b25026ae2049b0d4d465dd70cc039ec","observation_id":"db0d3e6f-873b-4870-a900-42d517242476","resolution":{"observed_at":"2026-08-06T16:54:56.157901Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1311.0277","last_updated":"2013-11-01T19:49:42Z","snapshot_observed_at":"2026-07-31T15:25:10.545608Z","submitted_at":"2013-11-01T19:49:42Z","title":"An Introduction to Topological Quantum Codes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1311.0277","snapshot_observed_at":"2026-08-06T16:54:56.267862Z","title":"An introduction to topological quantum codes,","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.267862Z"},"links":{"cited_paper":"/paper/1311.0277","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:beb39762c85f268e92ccde0c60db05e715ba35d678f408437bd07f07dc4093f9","observation_id":"fb086f5a-ccb2-4d08-acf6-978071fcee47","resolution":{"observed_at":"2026-08-06T16:54:56.267862Z","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-06T16:54:56.350925Z","title":"Fault-tolerant quantum computation by anyons,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.350925Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:b4cb9a9342418df2b53432397b92b6ac21771ac70b931d153e55bfafc4881711","observation_id":"0c0730c2-4098-466d-9a00-5027d97c678c","resolution":{"observed_at":"2026-08-06T16:54:56.350925Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9810055","last_updated":"1998-10-18T04:30:35Z","snapshot_observed_at":"2026-07-07T07:28:17.582827Z","submitted_at":"1998-10-18T04:30:35Z","title":"Projective plane and planar quantum codes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9810055","snapshot_observed_at":"2026-08-06T16:54:56.415590Z","title":"Projective plane and planar quantum codes,","venue":null,"work_id":null,"year":1998},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.415590Z"},"links":{"cited_paper":"/paper/quant-ph/9810055","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:c00db0318ee74b179ad8f2b80585838c931f8acfaece881bdef2bd4893023487","observation_id":"2ed14691-54db-4295-9023-012ba48f5b12","resolution":{"observed_at":"2026-08-06T16:54:56.415590Z","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-06T16:54:56.522771Z","title":"Quantum error correction below the surface code threshold,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.522771Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:e1bcfe6967523701e487aaa2778141f7a68412983abebe5811c8810ab55d86f3","observation_id":"6c46399c-cd42-4a13-ade8-76770d461f0a","resolution":{"observed_at":"2026-08-06T16:54:56.522771Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0610153","last_updated":"2006-10-18T21:19:17Z","snapshot_observed_at":"2026-07-07T07:24:04.460802Z","submitted_at":"2006-10-18T21:19:17Z","title":"Subsystem Codes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0610153","snapshot_observed_at":"2026-08-06T16:54:56.627008Z","title":"Subsystem codes,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.627008Z"},"links":{"cited_paper":"/paper/quant-ph/0610153","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:143322542c24d5ed2f9f69473e9cf672d79edfe95391cd8c31cf6b142c2d2518","observation_id":"9a9bcdd7-c948-492b-bd7a-a9faff373ccd","resolution":{"observed_at":"2026-08-06T16:54:56.627008Z","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-06T16:54:56.703371Z","title":"Stabilizer formalism for operator quantum error correction,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.703371Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:48f2e4aa82285217a75a55450a7021d56cb9d80875f9c9b13a0bbc9995c4e4cb","observation_id":"8131360b-b76f-46b4-960c-e095f4e1ca7e","resolution":{"observed_at":"2026-08-06T16:54:56.703371Z","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-06T16:54:56.724933Z","title":"Operator quantum error-correcting subsystems for self-correcting quantum memories,","venue":null,"work_id":null,"year":2006},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.724933Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:ec15aae7d86a767c6f8bff0cc26ea669935b162cb5ae78c4d8847b2b40b9dbb1","observation_id":"8017174e-1d51-44b4-bab8-25e274db391c","resolution":{"observed_at":"2026-08-06T16:54:56.724933Z","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-06T16:54:56.729622Z","title":"Scheme for reducing decoherence in quantum computer mem- ory,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.729622Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:1d55d3ba158d755150c76a99348f1022cce370f747df03a8890ca64ee56b89cd","observation_id":"c7c62a98-b327-4e90-b77b-8fbf1dd92748","resolution":{"observed_at":"2026-08-06T16:54:56.729622Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0305025","last_updated":"2003-05-05T23:32:30Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2003-05-05T23:32:30Z","title":"Decoherence, Control, and Symmetry in Quantum Computers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0305025","snapshot_observed_at":"2026-08-06T16:54:56.828607Z","title":"Decoherence, control, and symmetry in quantum computers,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.828607Z"},"links":{"cited_paper":"/paper/quant-ph/0305025","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:b656a50dd14c52635e9b34bb79da14d55ff86ebdca9f3ce157a7ad1f2a717a79","observation_id":"eab4da69-5008-4c44-a871-7dbaa735c12c","resolution":{"observed_at":"2026-08-06T16:54:56.828607Z","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-06T16:54:56.959317Z","title":"Quantum computing with rotation-symmetric bosonic codes,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:56.959317Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6277faee86b9293d66df6060d4405db0d59f954c5a6c2b3c00d7342188de017e","observation_id":"5883a86d-6502-45e7-84f1-740b982022e8","resolution":{"observed_at":"2026-08-06T16:54:56.959317Z","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-06T16:54:57.036740Z","title":"The fabulous world of gkp codes,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.036740Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:2f8921c1e06f2805eed2483898c05f6d0bc7b5daffcdb270bbd1409872c81557","observation_id":"4d34d97a-ee4f-4ef5-9aa9-a5cacf124820","resolution":{"observed_at":"2026-08-06T16:54:57.036740Z","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-06T16:54:57.186824Z","title":"Gottesman-kitaev-preskill codes: A lattice perspective,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.186824Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:c1d6a68ea1ded2076246415f67ad1794c211106d46c682102396937b5bee8ac5","observation_id":"1e43f1be-bd69-44a5-9ba0-d1255c6cc21f","resolution":{"observed_at":"2026-08-06T16:54:57.186824Z","resolver_source":null,"status":"malformed_identifier"},"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-06T16:54:57.295100Z","title":"Even and odd coherent states and excitations of a singular oscillator,","venue":null,"work_id":null,"year":1974},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.295100Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:60066ee7680af9ad4d135c6b4a6e328bd3e37e69eadc024a4e55375fc3dab993","observation_id":"a640c19f-2e25-4b35-9919-ab78f935117a","resolution":{"observed_at":"2026-08-06T16:54:57.295100Z","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-06T16:54:57.375435Z","title":"Crystallized schr¨odinger cat states,","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.375435Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:3e1a62aca5d0c9dbc8bb2c717c01ad8173a6405bed50d0d57ffbb10fad1c54c3","observation_id":"44220bcb-296d-4e67-b468-28de66a371d2","resolution":{"observed_at":"2026-08-06T16:54:57.375435Z","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-06T16:54:57.456972Z","title":"Performance and structure of single-mode bosonic codes,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.456972Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:af3be5cae4185f0e0ed573d99a8047eaf157a1c67147a37a4ea764c7131668df","observation_id":"d9e7eb8e-8bdc-43cc-ae82-338c76c8ec46","resolution":{"observed_at":"2026-08-06T16:54:57.456972Z","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-06T16:54:57.539438Z","title":"Creating large fock states and massively squeezed states in optics using systems with nonlinear bound states in the continuum,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.539438Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:9a4582daf84bdfb039492c6e85481fa4503525af0679fe31633ecf3794429ed8","observation_id":"aa742924-9285-47fe-b043-5d04c3a691c1","resolution":{"observed_at":"2026-08-06T16:54:57.539438Z","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":"10.3390/s25061854","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:08.480428Z","title":"Lattice surgery for dummies,","venue":null,"work_id":"44a0323a-7742-46b3-b38e-7e7f5b613c3a","year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.777019Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6b02122462fc250a1752b59f9ed68e3896b507efaa7f839359be9bde8d9a6aa4","observation_id":"5a5e195e-6922-45d6-a520-8e9691e7332a","resolution":{"observed_at":"2026-08-06T16:55:08.550625Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2410.03073","last_updated":"2024-10-09T19:08:53Z","snapshot_observed_at":"2026-07-06T19:27:25.061335Z","submitted_at":"2024-10-04T01:32:38Z","title":"LEGO: QEC Decoding System Architecture for Dynamic Circuits","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.03073","snapshot_observed_at":"2026-08-06T16:54:57.894432Z","title":"Lego: Qec decoding system architecture for dynamic circuits,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:57.894432Z"},"links":{"cited_paper":"/paper/2410.03073","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6e6f54f7f783c19aff0b0fca826bd16873a449845f477996cd7e4a4803473374","observation_id":"6bdc6d09-91b8-457d-bd73-516c5e2916c2","resolution":{"observed_at":"2026-08-06T16:54:57.894432Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2305.08307","last_updated":"2023-05-15T02:31:06Z","snapshot_observed_at":"2026-07-06T15:27:06.126421Z","submitted_at":"2023-05-15T02:31:06Z","title":"Fusion Blossom: Fast MWPM Decoders for QEC","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2305.08307","snapshot_observed_at":"2026-08-06T16:54:58.013039Z","title":"Fusion blossom: Fast mwpm decoders for qec,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.013039Z"},"links":{"cited_paper":"/paper/2305.08307","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:bbaded66ee38e9eb5fa393e221bb414f66aa48959c140d340158062924c97a00","observation_id":"9bbbb97c-6acb-41b0-90fc-4cf5a9f73e48","resolution":{"observed_at":"2026-08-06T16:54:58.013039Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2311.16082","last_updated":"2023-11-27T18:52:25Z","snapshot_observed_at":"2026-07-06T16:53:18.275859Z","submitted_at":"2023-11-27T18:52:25Z","title":"Transformer-QEC: Quantum Error Correction Code Decoding with Transferable Transformers","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2311.16082","snapshot_observed_at":"2026-08-06T16:54:58.130972Z","title":"Transformer-qec: Quantum error correction code decoding with transferable transformers,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.130972Z"},"links":{"cited_paper":"/paper/2311.16082","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:f62f2055b1bd69f5b3eed498c97e0817650d72eac210f734ab5933270316425f","observation_id":"fbc91fa1-81f0-43e6-9a77-0f8610e82af2","resolution":{"observed_at":"2026-08-06T16:54:58.130972Z","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-06T16:54:58.228006Z","title":"Restrictions on transversal encoded quantum gate sets,","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.228006Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:2e7058f59b259766f07059501efef6f30eb8b5bcd5878cc4ef99beceda5d63be","observation_id":"c37a3d7b-ec5d-441e-845d-55e93f8caf08","resolution":{"observed_at":"2026-08-06T16:54:58.228006Z","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-06T16:54:58.377966Z","title":"Clifford-deformed surface codes,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.377966Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:da913357a37073b480bf98ba8c8be54b0e32d334561e576e875467d95d053e92","observation_id":"5b99bebe-f86d-42d3-a603-c804009f7638","resolution":{"observed_at":"2026-08-06T16:54:58.377966Z","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-06T16:54:58.484789Z","title":"A game of surface codes: Large-scale quantum computing with lattice surgery,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.484789Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:5a477d9587cdc8b640a441fe1e22322c1e0dd264699b12e91a49397b74154ca9","observation_id":"5b784af4-b335-4a3e-9d08-3f281729bcaf","resolution":{"observed_at":"2026-08-06T16:54:58.484789Z","resolver_source":null,"status":"malformed_identifier"},"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-06T16:54:58.598523Z","title":"Optimal resources for topological two-dimensional stabilizer codes: Comparative study,","venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.598523Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:05537ab2d7c2692eae821cd8975a56930157c13211b96439344f99048257e23f","observation_id":"f20087bb-0abb-4b42-b290-6915b5e8afa2","resolution":{"observed_at":"2026-08-06T16:54:58.598523Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1107.3502","last_updated":"2011-08-10T18:56:16Z","snapshot_observed_at":"2026-08-05T00:40:51.589745Z","submitted_at":"2011-07-18T17:06:17Z","title":"Homological Stabilizer Codes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1107.3502","snapshot_observed_at":"2026-08-06T16:54:58.704069Z","title":"Homological stabilizer codes,","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.704069Z"},"links":{"cited_paper":"/paper/1107.3502","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8386f006c3ce0c4ad842707f352cdae062b224ad29a8495c5a61b62ffa509e00","observation_id":"ffeb6de2-dbdd-43ea-81b9-fb62f53450a4","resolution":{"observed_at":"2026-08-06T16:54:58.704069Z","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-06T16:54:58.828870Z","title":"Quantum orders in an exact soluble model,","venue":null,"work_id":null,"year":2003},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.828870Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:9fc8a608756bdcb1f76ecaf13b7a27d8e871b2f10f1b7c17a7ce3e832f1daaf2","observation_id":"573634ea-0f87-4193-bbd0-48689854cba6","resolution":{"observed_at":"2026-08-06T16:54:58.828870Z","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-06T16:54:58.969690Z","title":"The xzzx surface code,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:58.969690Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:cbd72e60fc0dcc5489abc7fde31447e243fe7c8e3bdd95fafc00ce66d31efb0b","observation_id":"e3ff5154-0e0c-4007-9a4f-109817381d95","resolution":{"observed_at":"2026-08-06T16:54:58.969690Z","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":"10.1103/physreva.84.062319","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:08.274424Z","title":"Design of additive quantum codes via the code-word-stabilized framework,","venue":null,"work_id":"661cdff1-3b1b-48bd-ab7c-784d5bf6f237","year":2011},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.082923Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:0451a7be02a4756c9bb312c2f72b80c6c6a452c4c458b2b66834893c21144109","observation_id":"1bdfe909-d06d-45c1-abe1-e2a3bf80f90f","resolution":{"observed_at":"2026-08-06T16:55:08.364004Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:54:59.171424Z","title":"Surface code error correction on a defective lattice,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.171424Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:af6749aac59055f07da9b35e05fd4d7853a200c3bf8d47148bb788b4e45707b8","observation_id":"530e5976-3871-417a-8f9c-a35e04fd9771","resolution":{"observed_at":"2026-08-06T16:54:59.171424Z","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-06T16:54:59.405644Z","title":"Poking holes and cutting corners to achieve clifford gates with the surface code,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.405644Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:364a79986bded5d541cddb88d483b04c25b790aa949e7cc89fbd28f02aa01505","observation_id":"af458afb-228d-4cd1-9f8d-b7581d2c67fe","resolution":{"observed_at":"2026-08-06T16:54:59.405644Z","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-06T16:54:59.513821Z","title":"Lattice surgery with a twist: Simplifying clifford gates of surface codes,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.513821Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:10b2dccf8881fd266b08c4b3a6e5b908d3d078a40893b4d7e7030e18e05f93d2","observation_id":"0f9f924a-9d36-4928-ac1e-fb99f6435162","resolution":{"observed_at":"2026-08-06T16:54:59.513821Z","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-06T16:54:59.681230Z","title":"Surface code quantum computing by lattice surgery,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.681230Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:08b3a0e4c03b55be62550d9c525ca5383069ef9539eedad9dc242d1098a1d00c","observation_id":"c28442d3-a5dd-48e2-b980-62a45aa52ca3","resolution":{"observed_at":"2026-08-06T16:54:59.681230Z","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":"2022.31517","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:11.178666Z","title":"Learning quantum circuits of some t gates,","venue":null,"work_id":"2788709e-e238-4cc6-b6a1-cee0572a20f7","year":2022},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.815506Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:66c1bcdb2696a3a80583408f441bddd0376ecbe42b65bb27899317bafd725538","observation_id":"36165110-b5c9-40f8-9782-41b313908b6d","resolution":{"observed_at":"2026-08-06T16:55:11.242654Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1804.05356","last_updated":"2018-06-12T16:18:36Z","snapshot_observed_at":"2026-07-06T06:33:29.837613Z","submitted_at":"2018-04-15T13:18:13Z","title":"ZX-Rules for 2-qubit Clifford+T Quantum Circuits","version":3},"cited_work":{"arxiv_id":"1804.05356","doi":null,"metadata_source":"pith","pith_arxiv_id":"1804.05356","snapshot_observed_at":"2026-08-06T16:55:10.964894Z","title":"ZX-Rules for 2-qubit Clifford+T Quantum Circuits","venue":"quant-ph","work_id":"daefd455-cf05-4519-9dc0-c86f01f412bc","year":2018},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T16:54:59.944292Z"},"links":{"cited_paper":"/paper/1804.05356","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:813eb7138c9e5fc2a47f34bef164ce031be69b272f7d60095ba162e3a1d85733","observation_id":"26a27633-86b7-43df-b1d6-674107fbe936","resolution":{"observed_at":"2026-08-06T16:55:11.014356Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:00.132631Z","title":"Decomposition of clifford gates,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:00.132631Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:52d77c3d763f6a750f52fddce976f71c8d8a4f23e090cca3db1eb2c38ac4430e","observation_id":"a278ca0c-aef3-49ce-a619-dd9c2885293b","resolution":{"observed_at":"2026-08-06T16:55:00.132631Z","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-06T16:55:00.326009Z","title":"Efficient synthesis of linear reversible circuits,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:00.326009Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:11ba172682c400dd75d433799d103d6e775664db586416437967d693a78def5a","observation_id":"ffc2eb96-cebc-45fd-8f16-89b67b8cf4ea","resolution":{"observed_at":"2026-08-06T16:55:00.326009Z","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-06T16:55:00.646291Z","title":"Magic state distillation: Not as costly as you think,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:00.646291Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:85ad7682143d0ad9d813f1fa259525bb2018172d754c979183c034ad8d45cac9","observation_id":"26b29f6d-481a-4189-9172-44e4a10ff51a","resolution":{"observed_at":"2026-08-06T16:55:00.646291Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0505030","last_updated":"2005-08-23T01:12:00Z","snapshot_observed_at":"2026-07-07T07:19:07.719177Z","submitted_at":"2005-05-06T00:55:45Z","title":"The Solovay-Kitaev algorithm","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0505030","snapshot_observed_at":"2026-08-06T16:55:00.802412Z","title":"The solovay-kitaev algorithm,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:00.802412Z"},"links":{"cited_paper":"/paper/quant-ph/0505030","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:5895258dc4d960e449e4c6082caeac2ae7f391897f38274d8ded9060e55a1cf7","observation_id":"ce473c61-da52-4033-b7c0-38b133899849","resolution":{"observed_at":"2026-08-06T16:55:00.802412Z","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-06T16:55:00.949277Z","title":"Optimal ancilla-free clifford+t approximation of z-rotations,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:00.949277Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:339e7b4b42c4307e49573cf0164b8a13fabdd1e075fb7f6850ef27e85cbe157b","observation_id":"942305c9-860f-46c2-9a9a-6621f6cf3f53","resolution":{"observed_at":"2026-08-06T16:55:00.949277Z","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-06T16:55:01.383358Z","title":"Roads towards fault-tolerant universal quantum computation,","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:01.383358Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:1ff32b45e0c0efc967d6e1ac69b8ff9f0593a61f6741a24270266e88e171e569","observation_id":"8eaec8a9-c59b-429a-bb38-f8b7c90ade3f","resolution":{"observed_at":"2026-08-06T16:55:01.383358Z","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-06T16:55:01.593324Z","title":"Contextuality supplies the ‘magic’ for quantum computation,","venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:01.593324Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:eec30ba759e16a10bb4e0f130ba7d6a22b66c16ed8a19443d1969d389ffd01a4","observation_id":"121bae01-b394-4515-a919-38eaa1a4c742","resolution":{"observed_at":"2026-08-06T16:55:01.593324Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0402171","last_updated":"2004-02-23T22:15:11Z","snapshot_observed_at":"2026-08-05T21:42:38.869768Z","submitted_at":"2004-02-23T22:15:11Z","title":"Fault-Tolerant Postselected Quantum Computation: Schemes","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0402171","snapshot_observed_at":"2026-08-06T16:55:01.796384Z","title":"Fault-tolerant postselected quantum computation: Schemes,","venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:01.796384Z"},"links":{"cited_paper":"/paper/quant-ph/0402171","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:97b36e6fc2b51f1ba1f33dc747a34defa600bd2c8068082a6cc63055122b1a1e","observation_id":"63ab46c4-af8a-49ff-8c62-9727aa385245","resolution":{"observed_at":"2026-08-06T16:55:01.796384Z","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-06T16:55:01.967978Z","title":"Magic-state distillation with low overhead,","venue":null,"work_id":null,"year":2012},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:01.967978Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:e626b3c8354a9a53d2f583712dc5b731bda3b2660a191c49ab9bc2f90c1cae48","observation_id":"c9d185eb-9b15-45c0-9741-e2cee6333584","resolution":{"observed_at":"2026-08-06T16:55:01.967978Z","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-06T16:55:02.494365Z","title":"Universal quantum computation with ideal clifford gates and noisy ancillas,","venue":null,"work_id":null,"year":2005},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:02.494365Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:3fa3e620e4fedd2f3ec77a10ddc1bd35ce9641648935c7dd6c93f6cdb9b3a917","observation_id":"838c8b9d-583d-4a04-b2e3-99ce9ca63bd1","resolution":{"observed_at":"2026-08-06T16:55:02.494365Z","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":"10.1038/nature13504","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:08.063279Z","title":"Powered by magic,","venue":null,"work_id":"5950d0f7-901c-4435-9201-f7c4779553e1","year":2014},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:02.879031Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:eff649d6a4d1abf93cd9e4bc00d7569b1885e0bc43b563bf42d8de96a81bb5f7","observation_id":"4c05dc6b-0e19-4afe-80bd-3824de69cdc6","resolution":{"observed_at":"2026-08-06T16:55:08.146990Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:02.983125Z","title":"Efficiently list-decodable punctured reed-muller codes,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:02.983125Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:0f4453c1b87837de195394c35ec48d72a2a2722ed0c299ac938cdb83607a5752","observation_id":"184c732c-2ce4-4475-bdd2-00d57e369129","resolution":{"observed_at":"2026-08-06T16:55:02.983125Z","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":"10.1103/physreva.111.012419","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:07.918811Z","title":"Enhancing quantum memory lifetime with measurement-free local error correction and reinforcement learning,","venue":null,"work_id":"e8284afe-66c2-4a71-8401-bb83ec5a7171","year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.162067Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:f161fb8ab3059ff0291b16e8efffcdd83e03560365ca6d9ecce9641e6320791c","observation_id":"93349929-c6a1-4826-b37d-6035eac4dc25","resolution":{"observed_at":"2026-08-06T16:55:07.978805Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:03.251295Z","title":"Reliable storage of information in a system of unreliable components with local interactions,","venue":null,"work_id":null,"year":1978},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.251295Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:7133003a6e70afbc62dee0dcff3e4bf18d21da60b2483c41a25a5e3dbfbdccac","observation_id":"f68dac24-f4fd-44c8-864a-cdfc75bc6424","resolution":{"observed_at":"2026-08-06T16:55:03.251295Z","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-06T16:55:03.516372Z","title":"Color code decoder with improved scaling for correcting circuit-level noise,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.516372Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:51024651992fd330aa6d8691a7c4b7892cad70e9d3440237d9bde83a00b13acd","observation_id":"579207ac-4bac-4ea8-9a2f-58bf6391131e","resolution":{"observed_at":"2026-08-06T16:55:03.516372Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"0806.4954","last_updated":"2008-06-30T17:30:26Z","snapshot_observed_at":"2026-08-02T14:07:07.747812Z","submitted_at":"2008-06-30T17:30:26Z","title":"Encoding Subsystem Codes","version":1},"cited_work":{"arxiv_id":"0806.4954","doi":null,"metadata_source":"pith","pith_arxiv_id":"0806.4954","snapshot_observed_at":"2026-08-06T16:55:10.270957Z","title":"Encoding Subsystem Codes","venue":"quant-ph","work_id":"0be9683d-af45-4261-bcac-21f03d87629f","year":2008},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.607246Z"},"links":{"cited_paper":"/paper/0806.4954","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:e73971e2ae0f0a9b93b674539745bc0c57564e7b391c13b86d7fa489d8a28f50","observation_id":"54fb85f9-c45c-4b1c-a0e3-31418496d3e1","resolution":{"observed_at":"2026-08-06T16:55:10.379405Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1508.00603","last_updated":"2017-04-02T15:07:26Z","snapshot_observed_at":"2026-08-01T23:50:29.664594Z","submitted_at":"2015-08-03T21:33:26Z","title":"Efficiently list-decodable punctured Reed-Muller codes","version":3},"cited_work":{"arxiv_id":"1508.00603","doi":null,"metadata_source":"pith","pith_arxiv_id":"1508.00603","snapshot_observed_at":"2026-08-06T16:55:10.561836Z","title":"Efficiently list-decodable punctured Reed-Muller codes","venue":"cs.IT","work_id":"b452d368-23fb-44ac-9485-7e634ee0b948","year":2015},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.078494Z"},"links":{"cited_paper":"/paper/1508.00603","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:520c9ccf903a5b9a4d2ea7fa668974bf76ad987268b8b8d775f10212a8a4639c","observation_id":"e35dd8fc-471e-4af1-9aaf-5684a112c573","resolution":{"observed_at":"2026-08-06T16:55:10.595395Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.22331/q-2023-11-14-1183","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:07.649357Z","title":"Actis: A strictly local union–find decoder,","venue":null,"work_id":"57218db0-b05d-41ec-b9f3-2f24fa0d27c9","year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.768236Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:bcac4db9757116bc35bc75bfeae5eccb5ddc27307d464d5b18e3fa6df08e30ed","observation_id":"5149964a-0fb2-4479-a50c-8bc5c86fccbd","resolution":{"observed_at":"2026-08-06T16:55:07.775726Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1103/physrevresearch.6.013154","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:07.414527Z","title":"Union-find quantum decoding without union- find,","venue":null,"work_id":"88e15773-783b-452a-afdd-b0f92b12767f","year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.826390Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:40aa38042a2630c46d060dc179a9228c1918fbcfd5779f3ac0e8d31220ef82c9","observation_id":"25658463-35bd-4c68-8915-859ea0230f2a","resolution":{"observed_at":"2026-08-06T16:55:07.497758Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3733239","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:07.269449Z","title":"Quekuf: an fpga union find decoder for quantum error correction on the toric code,","venue":null,"work_id":"eaf0f344-cca6-4dff-9e81-e993f8e0df2b","year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.890187Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:f71c1cfc7f2f32c75751b70e1f029d44ec18cfc3820b1ea5bd6f8360d00497d3","observation_id":"7d7039a6-72ed-4d02-a630-67d20c4e7b48","resolution":{"observed_at":"2026-08-06T16:55:07.343803Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2312.10950","last_updated":"2024-06-21T19:45:22Z","snapshot_observed_at":"2026-08-06T01:21:28.920826Z","submitted_at":"2023-12-18T05:58:07Z","title":"Belief Propagation Decoding of Quantum LDPC Codes with Guided Decimation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2312.10950","snapshot_observed_at":"2026-08-06T16:55:03.955092Z","title":"Belief propagation decoding of quantum ldpc codes with guided decimation,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.955092Z"},"links":{"cited_paper":"/paper/2312.10950","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:f984b022b218fbaa7461eae95292322c69b63256a2838ff7bd523b945e9f0a97","observation_id":"c53f2113-8893-45ad-af1f-d347e70988c5","resolution":{"observed_at":"2026-08-06T16:55:03.955092Z","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-06T16:55:04.027450Z","title":"Fault-tolerant belief propagation for practical quantum memory,","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.027450Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:60fa909fb484d68957f9a93e2f2db7c48a6ad16c80fae495e0f7bda5abf35314","observation_id":"0e7e0789-545f-4afd-b2f2-fc3fb45c6edf","resolution":{"observed_at":"2026-08-06T16:55:04.027450Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2108.06569","last_updated":"2021-08-14T15:50:09Z","snapshot_observed_at":"2026-08-04T13:20:00.963935Z","submitted_at":"2021-08-14T15:50:09Z","title":"LILLIPUT: A Lightweight Low-Latency Lookup-Table Based Decoder for Near-term Quantum Error Correction","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2108.06569","snapshot_observed_at":"2026-08-06T16:55:03.694220Z","title":"Lilliput: A lightweight low-latency lookup-table based decoder for near-term quantum error correction,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:03.694220Z"},"links":{"cited_paper":"/paper/2108.06569","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:d89fdeedfd5aa201b0fcae9dc61ebbea9b0e8a577b4e8b5369325f796cd7f160","observation_id":"29d3a77a-bdba-4308-afdf-8f48da7ad4ea","resolution":{"observed_at":"2026-08-06T16:55:03.694220Z","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-06T16:55:04.229075Z","title":"An industrial view of electronic design automation,","venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.229075Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:3201b0c6ba81d3aef8d069a3cb84c5a96d641b04dd0cfa1042d563e04aa018d0","observation_id":"1d8c6f62-99de-4fa7-b771-826b374b75d4","resolution":{"observed_at":"2026-08-06T16:55:04.229075Z","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-06T16:55:04.322303Z","title":"A survey of research in large language models for electronic design automation,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.322303Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:07860b0b8bee4c6f730af7c06b834dc85aef42efe4583fa7c060e252cd0f7885","observation_id":"095dff0b-5804-4bf2-b826-8f09b9e46968","resolution":{"observed_at":"2026-08-06T16:55:04.322303Z","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":"10.1007/s11432-024-4155-7","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:07.018022Z","title":"Large circuit models: opportunities and challenges,","venue":null,"work_id":"96fbde72-78a3-4fb9-b0ac-37f404d0e6e6","year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.379742Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:7c9401a41e356228e0312ea17516d8c4854e35447361f5746bc010d7ade7b3dd","observation_id":"22d365ec-88a5-458c-817f-f58c7045ac2c","resolution":{"observed_at":"2026-08-06T16:55:07.096069Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[{"edge_observation":{"observed_at":"2026-08-06T18:20:22.1813+00:00","source":"paper_reference_links","state":"open"},"event_date":"2024-10-21","event_type":"correction","notice_doi":"10.1007/s11432-024-4173-3","provenance":{"observed_at":"2026-07-11T03:13:51.064201+00:00","source":"crossref","source_record_id":"10.1007/s11432-024-4173-3->10.1007/s11432-024-4155-7:correction"}}],"reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2504.09391","last_updated":"2025-07-12T20:35:10Z","snapshot_observed_at":"2026-08-05T17:41:04.449493Z","submitted_at":"2025-04-13T00:55:18Z","title":"Survival of the Optimized: An Evolutionary Approach to T-depth Reduction","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2504.09391","snapshot_observed_at":"2026-08-06T16:55:04.475439Z","title":"Survival of the optimized: An evolutionary approach to t-depth reduction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.475439Z"},"links":{"cited_paper":"/paper/2504.09391","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:20d7006aa757ac36d2dc92f5c5008653bb35cb5c883aac002a8d6950f570a78f","observation_id":"3748e6ee-cc0e-43e0-8322-c7f41de09c3a","resolution":{"observed_at":"2026-08-06T16:55:04.475439Z","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-06T16:55:04.559777Z","title":"Quantum prometheus: Defying overhead with recycled ancillas in quantum error correction,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.559777Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8a7c5bbe8f50d9ce2bb1753ebb530dec5ceac97f40c11855a3a056d6f20f3fa6","observation_id":"10c2024d-c58b-4b1d-8e90-eeeb0b2f2740","resolution":{"observed_at":"2026-08-06T16:55:04.559777Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/9605011","last_updated":"1997-03-05T01:42:43Z","snapshot_observed_at":"2026-07-07T07:26:11.476766Z","submitted_at":"1996-05-13T14:29:00Z","title":"Fault-tolerant quantum computation","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/9605011","snapshot_observed_at":"2026-08-06T16:55:04.645499Z","title":"Fault-tolerant quantum computation,","venue":null,"work_id":null,"year":1997},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.645499Z"},"links":{"cited_paper":"/paper/quant-ph/9605011","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:d466c9a981c2c473defbe7c1b0d5efd4a7fbf0f900a51da38db88fb370e8a06f","observation_id":"8bd200be-4b63-4f9f-a7f4-62a1e80f2e1e","resolution":{"observed_at":"2026-08-06T16:55:04.645499Z","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-06T16:55:04.145450Z","title":"Machine learning for electronic design automation: A survey,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.145450Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6f8dc05ace9b801907ce20cd278a3691559b46578b95a0dbe79a898028a57aab","observation_id":"47db0b80-5dd7-45a0-bbce-66861e9e37ac","resolution":{"observed_at":"2026-08-06T16:55:04.145450Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.06941","last_updated":"2024-09-16T12:28:42Z","snapshot_observed_at":"2026-07-06T18:12:55.888082Z","submitted_at":"2024-05-11T07:32:47Z","title":"Surf-Deformer: Mitigating Dynamic Defects on Surface Code via Adaptive Deformation","version":3},"cited_work":{"arxiv_id":"2405.06941","doi":null,"metadata_source":"pith","pith_arxiv_id":"2405.06941","snapshot_observed_at":"2026-08-06T16:55:10.071506Z","title":"Surf-Deformer: Mitigating Dynamic Defects on Surface Code via Adaptive Deformation","venue":"quant-ph","work_id":"0b2dd094-5463-4a2e-8f79-e1e89c8f00d6","year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.756372Z"},"links":{"cited_paper":"/paper/2405.06941","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:88898073233b34a5c9283c45b8bfc5e34e88bad712bf7325e50a780f46684b92","observation_id":"b6f0f73b-baa0-44c1-9602-99dc3e6ab587","resolution":{"observed_at":"2026-08-06T16:55:10.132595Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:04.835364Z","title":"Q3de: A fault-tolerant quantum computer architecture for multi-bit burst errors by cosmic rays,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.835364Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:632fd361e9258c3154c74d67122737b65b0f6a893586ebb29c5b64c6019a4405","observation_id":"8d08c70a-918a-46f0-85f6-9597f497eccf","resolution":{"observed_at":"2026-08-06T16:55:04.835364Z","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":"2014.23419","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:09.803570Z","title":"Polynomial-time t-depth optimization of clifford+t circuits via matroid partitioning,","venue":null,"work_id":"079f9de8-99f4-4a8a-9b4f-7dbe8ff7babb","year":2014},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.919472Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:b03c66c81e589a9b39865a265839cd2392661b310b689de2bf789888b2cd8ac9","observation_id":"8dbedc76-6be0-4481-a649-497ec08310e7","resolution":{"observed_at":"2026-08-06T16:55:09.882245Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:04.978895Z","title":"Lower 𝑡-count with faster algorithms,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.978895Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:64de2cedfb7defdd1ac36a44c0e3de6eb9873bfa62525417efb146a5f61c712a","observation_id":"b2a4ffa2-35da-4a19-8d82-9d179686a93f","resolution":{"observed_at":"2026-08-06T16:55:04.978895Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1712.01557","last_updated":"2018-06-07T11:07:52Z","snapshot_observed_at":"2026-08-03T14:37:43.067045Z","submitted_at":"2017-12-05T10:19:30Z","title":"An Efficient Quantum Compiler that reduces $T$ count","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1712.01557","snapshot_observed_at":"2026-08-06T16:55:05.029825Z","title":"An efficient quantum compiler that reduces 𝑡 count,","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.029825Z"},"links":{"cited_paper":"/paper/1712.01557","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:fb44e251e3238a7c043d880d060ac8ef75af79255687beba863c785ac168eed4","observation_id":"61fd4a9a-33b6-44c8-912b-6b06929b1577","resolution":{"observed_at":"2026-08-06T16:55:05.029825Z","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-06T16:55:05.110834Z","title":"Reducing the number of non-clifford gates in quantum circuits,","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.110834Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:4cbe60a7abb8f5263f360cb656d984ea4b2a6d21d53f93d5ee85058ad085bf62","observation_id":"b8c923c9-a678-409a-b49c-e050f3c19985","resolution":{"observed_at":"2026-08-06T16:55:05.110834Z","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":"10.22331/q-2023-07-25-1065","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:06.705715Z","title":"Adaptive surface code for quantum error correction in the presence of temporary or permanent defects,","venue":null,"work_id":"9f9feb46-4ba1-4183-a9e4-24bca58e646d","year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:04.705848Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:1bf5ac20aa051bf2a1cc65766c02b56cffa2638ae5eaf48338e980dac2fe65fe","observation_id":"2d9a953e-3547-4a02-b562-d5d6e58dc4cc","resolution":{"observed_at":"2026-08-06T16:55:06.883297Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:05.223394Z","title":"Reducing t gates with unitary synthesis,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.223394Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:7845c13a1bc266c5c99c5dcec2773dea58a100535e97acbdb5b2a74a355bd0f1","observation_id":"c917206a-a472-42e4-af24-c1164869745a","resolution":{"observed_at":"2026-08-06T16:55:05.223394Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2502.11253","last_updated":"2025-03-11T19:11:02Z","snapshot_observed_at":"2026-08-04T18:05:36.851400Z","submitted_at":"2025-02-16T20:13:51Z","title":"The Q-Spellbook: Crafting Surface Code Layouts and Magic State Protocols for Large-Scale Quantum Computing","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2502.11253","snapshot_observed_at":"2026-08-06T16:55:05.306723Z","title":"The q-spellbook: Crafting surface code layouts and magic state protocols for large-scale quantum computing,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.306723Z"},"links":{"cited_paper":"/paper/2502.11253","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:132f76e1eed3dfea818ce9c37e3fd23f06b8cca1f011b5c8303e04683c7b0558","observation_id":"82f8d216-a0c0-412d-9e54-b73085ea19e9","resolution":{"observed_at":"2026-08-06T16:55:05.306723Z","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-06T16:55:05.385158Z","title":"Machine learning based decoding of heavy hexagonal qecc for asymmetric quantum noise,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.385158Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:9de33b6b5a5f907af76719fdcefc5d32afbcef18bcc894ea995de1cce49c1052","observation_id":"6466958a-bef4-4832-81ec-7c1b31aef6c8","resolution":{"observed_at":"2026-08-06T16:55:05.385158Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2412.20380","last_updated":"2024-12-29T06:58:21Z","snapshot_observed_at":"2026-07-06T20:14:17.514140Z","submitted_at":"2024-12-29T06:58:21Z","title":"Artificial Intelligence for Quantum Error Correction: A Comprehensive Review","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.20380","snapshot_observed_at":"2026-08-06T16:55:05.468677Z","title":"Artificial intelligence for quantum error correction: A comprehensive review,","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.468677Z"},"links":{"cited_paper":"/paper/2412.20380","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:6b9a060cac80012102d0551df509ed12aa753b81c04e86d55ab5477b6b6a61d7","observation_id":"845bcf81-7f10-480a-a9fa-25038aa58a5d","resolution":{"observed_at":"2026-08-06T16:55:05.468677Z","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-06T16:55:05.552745Z","title":"Neural-network decoders for quantum error correction using surface codes: A space exploration of the hardware cost-performance tradeoffs,","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.552745Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:50e2d59827236b6795257ded1b2788d3bb565097333f30237bf5af89d55f05c4","observation_id":"07199376-65cf-44b1-9e40-3a03c1206ded","resolution":{"observed_at":"2026-08-06T16:55:05.552745Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2310.17758","last_updated":"2023-11-06T20:44:45Z","snapshot_observed_at":"2026-08-06T22:54:41.135097Z","submitted_at":"2023-10-26T19:56:25Z","title":"Graph Neural Networks for Enhanced Decoding of Quantum LDPC Codes","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2310.17758","snapshot_observed_at":"2026-08-06T16:55:05.612785Z","title":"Graph neural networks for enhanced decoding of quantum ldpc codes,","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.612785Z"},"links":{"cited_paper":"/paper/2310.17758","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:63983accf6dad0be87b642d0e4518376ae51577912e988ceb57b8cb1330c7ffe","observation_id":"10cee5ed-2ceb-4974-bc75-9301246781b5","resolution":{"observed_at":"2026-08-06T16:55:05.612785Z","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-06T16:55:05.189161Z","title":"Interacting quantum observables,","venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.189161Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:a2ee94ae26a4dba041b5f2214baa972ca0802f67f163904a1377658fe95fdf4b","observation_id":"e8ad15f8-c128-49e7-be0b-5dd17a6cbc1f","resolution":{"observed_at":"2026-08-06T16:55:05.189161Z","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-06T16:55:05.810375Z","title":"Efficient formal verification of quantum error correcting programs,","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.810375Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:8b656af3d38cfbde995f1c48af896acf72340d5fa65c6c4ad18c017ade6560b6","observation_id":"b870f726-3b61-4129-82ab-66191e3f071e","resolution":{"observed_at":"2026-08-06T16:55:05.810375Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2111.13728","last_updated":"2021-11-26T19:40:53Z","snapshot_observed_at":"2026-07-31T03:36:07.698445Z","submitted_at":"2021-11-26T19:40:53Z","title":"QECV: Quantum Error Correction Verification","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2111.13728","snapshot_observed_at":"2026-08-06T16:55:05.887914Z","title":"Qecv: Quantum error correction verification,","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.887914Z"},"links":{"cited_paper":"/paper/2111.13728","citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:a4637f3b755763979b2599db06368ad71c4d564dfb159f7e748817f1792d5eda","observation_id":"427f1a02-f2d1-4d12-86af-165f8c53bef7","resolution":{"observed_at":"2026-08-06T16:55:05.887914Z","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-06T16:55:05.962739Z","title":"An axiomatic basis for computer programming,","venue":null,"work_id":null,"year":1969},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:05.962739Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:1674fb6a4e66bcecafdbcd0ecaa32debf4948919168d0a9327e392ca33b7bfa5","observation_id":"0adc0baa-2e61-4876-9ae9-befe8d663ccf","resolution":{"observed_at":"2026-08-06T16:55:05.962739Z","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-06T16:55:06.047729Z","title":"Fifty years of hoare’s logic,","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":101,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:06.047729Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:3e28aa43f25a085cef1f2d327d47b16cc9b402d25dc1c108e07b981c49e09ba5","observation_id":"36b98d8e-1861-4152-97af-972852926046","resolution":{"observed_at":"2026-08-06T16:55:06.047729Z","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":"2501.14380","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T16:55:09.195788Z","title":"Verifying fault-tolerance of quantum error correction codes,","venue":null,"work_id":"17c02f35-cc1a-49b1-8bdf-d0da29bb6409","year":2025},"citing_paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction","version":1},"reference_index":102,"source":"pdf_text","source_observed_at":"2026-08-06T16:55:06.106833Z"},"links":{"citing_paper":"/paper/2507.12253"},"observation_digest":"sha256:19dd8756616b8d8d5c76117ebee4a55146bf24a0e67ee31ac2587d06b8bdf81d","observation_id":"66c5d26f-6484-4be8-941a-3fc5db3c7ee2","resolution":{"observed_at":"2026-08-06T16:55:09.303601Z","resolver_source":"raw_fallback","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2507.12253","last_updated":"2025-07-16T13:59:38Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-06T22:55:20.493590Z","submitted_at":"2025-07-16T13:59:38Z","title":"Design Automation in Quantum Error Correction"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":3,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":79,"verified_exact":15,"verified_fuzzy":0},"total_outbound_references":111},"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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 100 of 111 outbound references and 1 inbound Pith citation observation for arXiv:2507.12253."}