{"as_of":"2026-08-04T22:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:b3f768889445ca3542660185f83b34ccc5db7034edc9d7237111e250582cdccd","coverage":[{"denominator":49,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":49,"source":"paper_references, paper_reference_links","source_observed_at":"2026-06-30T20:08:16.364329Z","state":"measured"},{"denominator":49,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":49,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-04T06:34:03.388597+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2605.14881/citation-record","integrity":"/paper/2605.14881/integrity","json":"/paper/2605.14881/citation-record.json","paper":"/paper/2605.14881"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.244726Z","title":"Journal of the ACM (JACM)62(1), 1–34 (2015)","venue":null,"work_id":"71ab66c1-9808-423a-b09d-a1c6ab1929ca","year":2015},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:3e021d63e2dc491ef7b7c8dd566561424961c671b8e46e551c27fd2f4e62785a","observation_id":"8d217f63-546a-409e-bd07-3db976604f8e","resolution":{"observed_at":"2026-07-07T21:34:10.245887Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.251260Z","title":"Information Processing Letters115(2), 155–158 (2015)","venue":null,"work_id":"effbead1-fbff-4012-9aac-d8946068aee6","year":2015},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:78459eca4e554a5001769320a8b5e589b88a30967119880cbe95e911ef10b040","observation_id":"8dd62a3f-70e7-4d25-848d-7d139b8dcf2c","resolution":{"observed_at":"2026-07-07T21:34:10.252564Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.226342Z","title":"Quantum Science & Technology7(2), 025007 (2022)","venue":null,"work_id":"6576efb0-9248-47f3-b1ad-24dfd94b0e19","year":2022},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:3516e9a3db28bbb4c0a8b05442979bf2740c9f098a0fb33e0de3429120073503","observation_id":"548808f8-dc05-4528-9cd5-358b2b195df8","resolution":{"observed_at":"2026-07-07T21:34:10.227415Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.229690Z","title":"In: International Workshop on Computer Science Logic","venue":null,"work_id":"1913b4a2-7108-4128-8d38-2a7f3ada7553","year":null},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:e02b6b75bed7e11b05a5a8f0443645fc661ec28d5ca37c435c5c8f566ae7674d","observation_id":"54545a0f-ad1a-4b02-9999-a023ded0839b","resolution":{"observed_at":"2026-07-07T21:34:10.230797Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.270078Z","title":"Physical review letters114(8), 080502 (2015)","venue":null,"work_id":"24ac43a5-70d9-4c8e-b1fb-0e5ccfa92f79","year":2015},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:08072b04ef2c904b9a13577ffd9841af543a401254872c8e4269bfb95d85ea4e","observation_id":"bfeadce5-f426-40ec-9e6e-fc872627ef37","resolution":{"observed_at":"2026-07-07T21:34:10.271302Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.220901Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 40(9), 1810–1824 (2020)","venue":null,"work_id":"206311ff-dbfe-4d4b-a4bf-f6402a74a086","year":2020},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:cc7754dcc15c0b164ba82d7c02d0acf2222cfd77d5e4de82db520dfdb9f76a2e","observation_id":"7bb34f76-d2e2-400f-86f3-0111d316a635","resolution":{"observed_at":"2026-07-07T21:34:10.222245Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.231526Z","title":"Artificial Intelligence172(6-7), 772–799 (2008)","venue":null,"work_id":"6a00570f-6ce0-4324-9c93-909b0b56890b","year":2008},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:f7877251f0d4e7c6ce3e1e8cc827d6ab8ceddebe65b853b2849a4cdd3614c6b1","observation_id":"c95177de-6aa3-4b55-aae3-5c801731a4c0","resolution":{"observed_at":"2026-07-07T21:34:10.232560Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.233117Z","title":"In: International Conference on Tools and Algo- rithms for the Construction and Analysis of Systems","venue":null,"work_id":"06d06916-bc37-4e06-baa0-900d1af5cc2d","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:be8c9b46d5ccbebc443ef76427507b21322d8583e6599e03d46f8399b9d2abef","observation_id":"f7e04a39-5228-4c78-b886-1d6f2bb63344","resolution":{"observed_at":"2026-07-07T21:34:10.234751Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.241407Z","title":"In: International Conference on Tools and Algorithms for the Construc- tion and Analysis of Systems","venue":null,"work_id":"65250b18-5af0-4050-85fa-064db09f16bd","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:79ac2fc9b497a536cda485904d3d61ad242e8bbdeae6979dd92fcf6049f7fd28","observation_id":"c954379f-a093-421b-9792-f0cca5e4a443","resolution":{"observed_at":"2026-07-07T21:34:10.242573Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.253394Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"52ec87fd-9df1-4d5e-b48b-54ae4cdcbcb1","year":2023},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:22e5ce7598afafddcd64e0cbdc963b9bbbed10674fcbd3dd92dde3d7485a97b0","observation_id":"e1c91de3-dc09-4d8b-816c-cb4759855158","resolution":{"observed_at":"2026-07-07T21:34:10.256227Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:07.364617Z","title":"Proceedings of the ACM on Programming Languages7(PLDI), 1218–1243 (2023)","venue":null,"work_id":"c0aa7901-d4e3-4d0d-b08d-8c805883bf37","year":2023},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:dab503d5d57561febd0995473276050bd8c5e35edef7fb80a405b6e5ae12d03c","observation_id":"d0264a2d-9925-430a-a175-2b5de4499d7c","resolution":{"observed_at":"2026-07-07T21:34:07.365793Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T21:17:35.617708Z","title":"librosa/librosa: 0.6.3","venue":null,"work_id":"a2be0426-0f15-4d3d-a62d-9b21d5ec8960","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:3c5f7be028707fc1918e84a468aa8162f2098281ba601e5b10aafb9d8067917b","observation_id":"0e8077bc-b308-476d-b4e8-f47895a37fbd","resolution":{"observed_at":"2026-06-30T20:15:04.428164Z","resolver_source":"doi_truncated","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.290342Z","title":"ACM Transactions on Quantum Computing3(3), 1–50 (2022)","venue":null,"work_id":"f2e8e8ae-6b00-4a95-b795-7c3ca55f816f","year":2022},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:d7528e438b36be6d6a37a2be7d3b54ecaf6a0c48b2d039f634604bf35cff9f3e","observation_id":"ebf36e49-cd08-4f01-936f-e5d436147286","resolution":{"observed_at":"2026-07-07T21:34:10.291483Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:07.366492Z","title":"Physical review letters108(26), 260501 (2012)","venue":null,"work_id":"2a2674eb-03ca-4e80-92b9-ec3135aacfea","year":2012},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:909d985a75c342f76d1cc709540beaa59847a1030dff91df69ab1eea24c74edf","observation_id":"aea9178f-fd5c-4455-aa20-06cf9ea402d6","resolution":{"observed_at":"2026-07-07T21:34:07.367575Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:07.350732Z","title":"Journal of Computer and System Sciences79(7), 1181–1198 (2013)","venue":null,"work_id":"06cb88be-bea4-4a9e-92c8-0d24a3d21b77","year":2013},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:6a4a3468e1720f2a9b566df25f261c82db59da49fbbb84809a4adf6558579a35","observation_id":"43c9d06e-3e2c-4e0a-8ab0-bbc19f0b7d32","resolution":{"observed_at":"2026-07-07T21:34:07.352395Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0504007","last_updated":"2005-10-05T14:26:52Z","snapshot_observed_at":"2026-07-07T07:18:48.088486Z","submitted_at":"2005-04-01T23:09:29Z","title":"Probabilistic Model--Checking of Quantum Protocols","version":2},"cited_work":{"arxiv_id":"quant-ph/0504007","doi":null,"metadata_source":"pith","pith_arxiv_id":"quant-ph/0504007","snapshot_observed_at":"2026-06-30T20:15:05.357709Z","title":"https://api.semanticscholar.org/CorpusID:6622187 Simon J","venue":"quant-ph","work_id":"41d91773-80e1-44fa-8f27-8f2de416d5ca","year":2005},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"cited_paper":"/paper/quant-ph/0504007","citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:d8c843e869cdb44d416e9221ce4c4035fbcc05e2913ff9d43441b91a81f12e47","observation_id":"5c7ddca9-3c59-49ba-b138-0ea0340927ee","resolution":{"observed_at":"2026-06-30T20:15:05.360518Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:07.353243Z","title":"Digitale Welt5(2), 14–17 (2021)","venue":null,"work_id":"e378a05a-58ad-43e1-9e46-18a00c04d0c1","year":2021},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:6af8a91cea50226fb70024b5c51bb1537544e71285f661a3b58e131a5e3cd3c0","observation_id":"e96e1a9b-2e74-4175-9aee-1a3c71dcbf61","resolution":{"observed_at":"2026-07-07T21:34:07.354740Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:44:12.007127Z","title":"In: Pro- ceedings of the twenty-eighth annual ACM symposium on Theory of computing","venue":null,"work_id":"24331ea3-e5ff-47c7-9e5d-28596f7bf222","year":1996},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:17c67d81926c09a1f109436a882a5cc264912b79b26a23e559416a619d2df839","observation_id":"a7f3a865-f27c-420f-807a-8235e97d70d9","resolution":{"observed_at":"2026-07-07T21:44:12.016768Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.286517Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"92732e72-d1cc-408c-9e85-d1e97d6bc6b3","year":2024},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:9da24ddb9044f41c320ba6ed61375867c42e740fd03d5b4b99c9aa6af52251d5","observation_id":"4b7c2c52-7983-4518-8f66-139d7821d730","resolution":{"observed_at":"2026-07-07T21:34:10.287855Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.280827Z","title":"Quantum Science & Technology5(3), 034007 (2020)","venue":null,"work_id":"6d99bdf0-518f-460d-a246-c26ed480e655","year":2020},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:a8470466b78717e267673c7cee083f907c4354ac9376fb6cd4eed96b8861aacc","observation_id":"4248c4da-014e-45cf-ac75-cfc82e53f702","resolution":{"observed_at":"2026-07-07T21:34:10.282174Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.288564Z","title":"John Wiley & Sons (2000)","venue":null,"work_id":"8a972563-3b0a-4ac5-9fcc-5c86def751f4","year":2000},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:8bc60d833d261b825b6e3a8fad538d6f23d2a143f361914ec2ce12f2100cba7d","observation_id":"a69b7232-db3b-4a74-8bbf-2b0f74a6a1ad","resolution":{"observed_at":"2026-07-07T21:34:10.289764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2405.08810","last_updated":"2024-06-19T01:39:44Z","snapshot_observed_at":"2026-07-06T18:14:20.889736Z","submitted_at":"2024-05-14T17:55:32Z","title":"Quantum computing with Qiskit","version":3},"cited_work":{"arxiv_id":"2405.08810","doi":"10.48550/arxiv.2405.08810","metadata_source":"pith","pith_arxiv_id":"2405.08810","snapshot_observed_at":"2026-07-10T17:37:26.257214Z","title":"Quantum computing with Qiskit","venue":"quant-ph","work_id":"5dd3e61a-2250-4afb-a3d4-dd7202477631","year":2024},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"cited_paper":"/paper/2405.08810","citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:8a9eb6a07ff630e555a3ca59559c99a2ffa584889cc15eca31f1befab3ef3f16","observation_id":"4fe5035f-fd6e-4fa8-8713-1a5f5e8510b2","resolution":{"observed_at":"2026-06-30T20:15:05.356021Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-07-13T11:19:52.046204+00:00","source":"crossref_status_cache"},{"observed_at":"2026-07-13T11:19:52.046204+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.275918Z","title":"Scientific reports9(1), 10736 (2019)","venue":null,"work_id":"2324951e-9a42-4fb1-baf7-757862101485","year":2019},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:cfe6dd0a94ab042e098241ae823e480bb8c365dc1caa8b77df65b614abe31e94","observation_id":"46dc70ba-2b8b-4d82-8423-7f7ed2fa9155","resolution":{"observed_at":"2026-07-07T21:34:10.277295Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.278020Z","title":"Physical Review A67(4), 042315 (2003)","venue":null,"work_id":"257fb2af-eae8-45db-a916-a23cf3410be7","year":2003},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:70926e4a348dfded25f1b480350d9c0bf557749e697fa435c9e9ee0468e9f237","observation_id":"2fd04a6f-86cc-440b-bf75-a705592b8b40","resolution":{"observed_at":"2026-07-07T21:34:10.280066Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1904.04735","last_updated":"2020-05-01T04:15:06Z","snapshot_observed_at":"2026-08-04T04:09:15.720496Z","submitted_at":"2019-04-09T15:34:55Z","title":"PyZX: Large Scale Automated Diagrammatic Reasoning","version":2},"cited_work":{"arxiv_id":"1904.04735","doi":null,"metadata_source":"pith","pith_arxiv_id":"1904.04735","snapshot_observed_at":"2026-07-09T08:06:04.132159Z","title":"Kissinger and J","venue":"quant-ph","work_id":"b862b071-9d4b-4f26-b376-08ab7f0ca028","year":2019},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"cited_paper":"/paper/1904.04735","citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:ae04d2e4ec4905c649a1274b74580a58301230460be8c3d1c972a2c64320a663","observation_id":"3ebdfcf9-10e3-492f-b88b-f63a4cad6106","resolution":{"observed_at":"2026-06-30T20:15:05.364641Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T05:36:48.702545Z","title":"In: International conference on computer aided verification","venue":null,"work_id":"b8d71e3d-615e-448b-a734-c35f049fc4d5","year":2019},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:6905c83acaf8e7e050a5c75e3af43d99df46f4c3beeb685b7e7d8a69eb9375b6","observation_id":"cfe0131f-556e-4ec0-89bf-e5cec0ad7577","resolution":{"observed_at":"2026-07-07T21:34:07.334842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.256839Z","title":"In: International Conference on Computer Aided Verification","venue":null,"work_id":"875bcd1c-676f-4a41-937b-4535ea02be25","year":2024},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:d6780917682288ed6d5e0e8f8487d9ec7e7c8f44962d934d2becc6782b18b9f2","observation_id":"22c47b66-d6b9-4c20-a396-a45c05e2d168","resolution":{"observed_at":"2026-07-07T21:34:10.258028Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.258587Z","title":"In: International Joint Conference on Automated Reasoning","venue":null,"work_id":"664735c9-5e25-4ffb-ac7e-66c6584803cf","year":2024},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:0d91703cb0a03f9a477a02c17a9a24d53f2cb99e4c7c1189f629803fa1f9449d","observation_id":"171fbf2d-795d-466f-a7d5-e899b3ab9847","resolution":{"observed_at":"2026-07-07T21:34:10.259701Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.260283Z","title":"com/index.html(2025), accessed: 2026-03-02","venue":null,"work_id":"979b49bf-31a4-4c82-90bc-ec9ebc43a672","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:a2b907f50a5b7b8e8a1e71bc5d63a9f88923aeec3f1d3d2208e0d802d582afc2","observation_id":"ee020465-189f-49fc-9895-f92e9a0207b2","resolution":{"observed_at":"2026-07-07T21:34:10.261373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1311.1074","last_updated":"2014-10-19T18:58:43Z","snapshot_observed_at":"2026-07-06T03:27:25.760149Z","submitted_at":"2013-11-05T14:42:07Z","title":"Repeat-Until-Success: Non-deterministic decomposition of single-qubit unitaries","version":2},"cited_work":{"arxiv_id":"1311.1074","doi":null,"metadata_source":"pith","pith_arxiv_id":"1311.1074","snapshot_observed_at":"2026-07-10T05:36:48.494015Z","title":"Paetznick and K","venue":"quant-ph","work_id":"02012940-60f9-4f2d-b157-80152d19de96","year":2013},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"cited_paper":"/paper/1311.1074","citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:f8ebaf5fe850e2051173a166d8b8d1ae2600b08818ebcef9b16a4642756e42f3","observation_id":"b4f6269e-7a40-441c-b615-d0568713488e","resolution":{"observed_at":"2026-06-30T20:15:05.368001Z","resolver_source":"local_arxiv","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.271920Z","title":null,"venue":null,"work_id":"ac609be1-3b02-49c9-a571-4c18302fbaca","year":2009},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:5b7d6e69770602d434252813e6252c1418efc57868f8bf4f974ffd5bbe59f087","observation_id":"33d06dc2-224f-4fd6-aa6f-f52714aba29e","resolution":{"observed_at":"2026-07-07T21:34:10.273247Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.268264Z","title":"IEEE Journal on Emerging and Selected Topics in Circuits and Systems12(3), 662–675 (2022)","venue":null,"work_id":"5a9e4aaf-c59e-4bc1-a1e8-e64e7c9d65ca","year":2022},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:343875ecc47af41b70090207df7c173782e5f4ab6d330f276b331a84eb2cbf56","observation_id":"0d461a11-7836-4d17-84f9-48a8c1861d20","resolution":{"observed_at":"2026-07-07T21:34:10.269437Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.273867Z","title":"In: International Symposium on Formal Methods","venue":null,"work_id":"258be960-a050-462a-b98c-0ca94a64e099","year":null},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:ae6dc26fc74137dc7931dcdea944b5a6a376510434e65786ec9db363186e41cb","observation_id":"2cc94074-e24a-46dc-9166-c281180227cf","resolution":{"observed_at":"2026-07-07T21:34:10.275259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.266511Z","title":"Mathematical Structures in Computer Science14(4), 527–586 (2004)","venue":null,"work_id":"fbf937ab-13a9-4938-b192-3fb125069155","year":2004},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:ca07e66a1800656777682d04aed84d3f9a7d297e0db83524b6228892f35b6777","observation_id":"8a4d9a74-8bed-4871-93ca-8827aa9759e1","resolution":{"observed_at":"2026-07-07T21:34:10.267723Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:07.346531Z","title":"Physical Review A67(5), 052307 (2003)","venue":null,"work_id":"2b03f6e5-a3a2-4fc3-b79e-8a360654ba39","year":2003},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:63a603e115acf78d28c7be77467bbb85688dc00a742b7870c9b1fdebb03bec0e","observation_id":"ddd6ec7d-12dc-43a4-a6fe-f7552e2f47cb","resolution":{"observed_at":"2026-07-07T21:34:07.347605Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.238761Z","title":"Quantum2, 49 (2018)","venue":null,"work_id":"e0352577-0537-4523-a355-2248b325841c","year":2018},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:0cc9274c10fbd1ed2c439588e721d89c73e7e4028454938d93705d27bf1b981f","observation_id":"1e5278e8-3c73-4659-a1e9-46a66b301c39","resolution":{"observed_at":"2026-07-07T21:34:10.239967Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.243123Z","title":"Quantum5, 559 (2021)","venue":null,"work_id":"3a7a3d2c-f5e1-4c2d-a202-8b4f4ac0fc18","year":2021},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:649d0881f43efd8b7b195eb68685359cab5361ab3527aae07c181ee9e8daa6c2","observation_id":"647e0a87-f254-46b0-a1da-121320f8186f","resolution":{"observed_at":"2026-07-07T21:34:10.244169Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.5281/zenodo.15407754","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-30T20:15:04.425048Z","title":null,"venue":null,"work_id":"a33f1351-292f-429f-979e-1aff920a7168","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:83f793358ff89bca6511cb99aa2d758cf434ca67e8fae5e65c3b3839d2a14bbd","observation_id":"f4a89cfa-af3f-4ab3-8414-8757280be38b","resolution":{"observed_at":"2026-06-30T20:15:04.426257Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.249581Z","title":"In: 2021 58th ACM/IEEE Design Automation Conference (DAC)","venue":null,"work_id":"8abee84b-04cc-4016-bf29-ef66fe268c98","year":2021},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:e19f1e76736bb21d061dd7ab2f04b62b0ee28d49d1447a890bfa3df5f058a594","observation_id":"49104876-43c4-4ce9-ae70-765d444da268","resolution":{"observed_at":"2026-07-07T21:34:10.250687Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.235272Z","title":"Proceedings of the ACM on Program- ming Languages3(POPL), 1–31 (2019)","venue":null,"work_id":"73f3d677-6371-45d6-bd0e-c97169d3e7fb","year":2019},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:2e86725918e4bfc68a9ff5721253d811461292002376b074598402b47e6718a4","observation_id":"3b05393a-1a91-4c58-93ba-56f7e76a14de","resolution":{"observed_at":"2026-07-07T21:34:10.236369Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.212717Z","title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 41(9), 3143–3156 (2021)","venue":null,"work_id":"4e3ecc5a-bf91-4fcc-ad41-ee6e2f72b68b","year":2021},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:b1c70d1e91359d046250cb265dc1399a33fb88e3c0699db9d4e11f387039868c","observation_id":"ea5ed979-9b71-43d9-b75e-a685ce8fcd9f","resolution":{"observed_at":"2026-07-07T21:34:10.214263Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.215603Z","title":"In: International Conference on Computer Aided Ver- ification","venue":null,"work_id":"45512b2b-e551-4449-b2c4-04f2a90aa043","year":2025},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:d78a60b767eef3ee00d35caedec8bc71c181493248c3fbf01304a2b6f63b4f8a","observation_id":"a6c53993-1c2a-46c7-917d-cf2b365fe050","resolution":{"observed_at":"2026-07-07T21:34:10.216902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.223007Z","title":"In: Proceedings of the 59th ACM/IEEE Design Automation Conference","venue":null,"work_id":"6d7c69eb-4cdf-4bf5-801e-59f7e0b29a16","year":2022},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:9dd8e79c07b2d1f82994b35c97eb580e5966782f10dbee9f28fd426840c3c3aa","observation_id":"ebdeae5f-16b6-4e24-b75d-52f0dbd0bb10","resolution":{"observed_at":"2026-07-07T21:34:10.224157Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.227944Z","title":"ACM Transactions on Pro- gramming Languages and Systems (TOPLAS)33(6), 1–49 (2012)","venue":null,"work_id":"4a1d4a50-2952-4ae5-80fe-6b7afbc19b47","year":2012},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:186087dbe854792db3b27360c3bc84f5422df840df5e9a36100053578d49fc3a","observation_id":"db2d56a4-6a1a-4f06-a276-81f3ef91c44d","resolution":{"observed_at":"2026-07-07T21:34:10.229126Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.209370Z","title":"In: International Symposium on Formal Methods","venue":null,"work_id":"e4176320-6099-48ec-9c92-149851a59120","year":2021},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:c664d940d9f4891aeefd2aaf9ba1283671db62baaef6055248e8231237240db4","observation_id":"5e19a28a-cea7-4d27-a741-b1d056e11744","resolution":{"observed_at":"2026-07-07T21:34:10.210501Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.211071Z","title":"Elsevier (2024)","venue":null,"work_id":"5b63e553-c334-4402-a4ec-53454c11a20e","year":2024},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:5da57fc8fe394d2d83fb90002d28c7ba24065a654432b26a2cd7ea100c813064","observation_id":"7ff98175-3a1a-46da-b167-dabaf97f5582","resolution":{"observed_at":"2026-07-07T21:34:10.212151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.224730Z","title":"Acta Informatica47(4), 221–250 (2010)","venue":null,"work_id":"857fea97-cdd2-4408-93dc-8848aa263922","year":2010},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:440d73483378a66c4e068c455fb52adf09552fcaf6d05f21acb864c1fb49f76c","observation_id":"e6a68fdf-2531-49f3-89f7-6b6868257331","resolution":{"observed_at":"2026-07-07T21:34:10.225779Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.246652Z","title":"In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","venue":null,"work_id":"0f850f4f-e248-407b-a51c-9a5ef544d5e3","year":2019},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:3f5485edc4cd94f64c25319a328f91c2f5a6f32cb12d76c11ea89e86c477676f","observation_id":"e17efdea-24d1-4284-aa47-e45ddabf30df","resolution":{"observed_at":"2026-07-07T21:34:10.249023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-07T21:34:10.261984Z","title":null,"venue":null,"work_id":"822b3293-1513-4249-a9ca-720b3aafcb38","year":2018},"citing_paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-06-30T20:08:16.364329Z"},"links":{"citing_paper":"/paper/2605.14881"},"observation_digest":"sha256:55c52d05c10b73036c92ab8d1e541e69a7f56bac06343ec9572fa9dd323e56cd","observation_id":"be14b8a1-c0cc-420d-b863-bb15ed2a3369","resolution":{"observed_at":"2026-07-07T21:34:10.265934Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2605.14881","last_updated":"2026-05-14T14:25:39Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-02T13:23:23.494895Z","submitted_at":"2026-05-14T14:25:39Z","title":"QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits"},"reference_resolution":{"displayed":49,"state_counts":{"malformed_identifier":1,"metadata_mismatch":4,"parse_uncertain":0,"unresolved":2,"verified_exact":1,"verified_fuzzy":41},"total_outbound_references":49},"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-04T06:34:03.388597+00:00","source":"crossref"},{"observed_at":"2026-08-04T06:33:57.428241+00:00","source":"retraction_watch"}],"thesis":"As of 4 August 2026, this Paper Citation Record lists 49 of 49 outbound references and 0 inbound Pith citation observations for arXiv:2605.14881."}