{"as_of":"2026-08-08T02:31:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:0656ce6f5d5c9286dffd4fde4f8027e6cacc6a26b95405289d91939fb769220b","coverage":[{"denominator":76,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":76,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T17:43:23.332157Z","state":"measured"},{"denominator":77,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":77,"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-09T19:34:11.133580Z","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-11T15:36:09.174583Z","state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"cited_work":{"arxiv_id":"2507.10635","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2507.10635","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Formal Verification of Variational Quantum Circuits","venue":null,"work_id":"58173b8d-52e0-4dd5-aadd-3f7b3c4c83f1","year":2025},"citing_paper":{"arxiv_id":"2605.00747","last_updated":"2026-05-01T15:55:40Z","snapshot_observed_at":"2026-08-06T07:46:20.513313Z","submitted_at":"2026-05-01T15:55:40Z","title":"Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-09T19:34:11.133580Z"},"links":{"cited_paper":"/paper/2507.10635","citing_paper":"/paper/2605.00747"},"observation_digest":"sha256:df3aeb3b4c77be36fdd3e54746b17a9cc027864f29f5c47a53d7413abaaf38a7","observation_id":"c58c97fd-9777-4d75-956a-76d7c41bdca6","resolution":{"observed_at":"2026-05-11T15:36:09.182343Z","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.10635/citation-record","integrity":"/paper/2507.10635/integrity","json":"/paper/2507.10635/citation-record.json","paper":"/paper/2507.10635"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:32.648071Z","title":null,"venue":null,"work_id":"db9b6317-a904-4e3c-8834-d4e047029678","year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.111668Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:e9bd4d6e218f982924aee2e6dec574871665be8953842e66934d271a80a41406","observation_id":"2eb5779a-4f3e-4699-80fc-79362e7068d2","resolution":{"observed_at":"2026-08-06T17:43:32.778250Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:32.367886Z","title":null,"venue":null,"work_id":"6974a325-ac9d-41ad-933d-c48a3eac4cef","year":2019},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.154477Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:aa160644811bfa1cbb8eb88850dbc29c6eccd2fb0a0b6f3b3b00129f9200d412","observation_id":"7d4f9593-d59b-4bb4-837b-37f06334b7fc","resolution":{"observed_at":"2026-08-06T17:43:32.512622Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:32.101138Z","title":null,"venue":null,"work_id":"292e4254-49e5-4cdd-8d26-60b7db9ceb6b","year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.195392Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:33e6a8b1debd8d1191a09b4e7a408bcf901155fc93a26606789b99ce590425a9","observation_id":"33253e67-40b5-4a23-8a73-4aeb77a52a77","resolution":{"observed_at":"2026-08-06T17:43:32.256013Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:16.220556Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.220556Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:4a5dc851c64daa9f7b58187225ed7280d4b04d6adb2db8472851f4b3ad378ced","observation_id":"62b00843-980a-4a63-8903-e62ddfffe179","resolution":{"observed_at":"2026-08-06T17:43:16.220556Z","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/978-3-031-82703-7_3","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"34f0c100-e92b-4355-be4c-f9dd86a82571","year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.275079Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d64e89d97999310ef2f34b1b8b01cbe2e55d570db770559d40900946cf4d56e5","observation_id":"9674301c-19b6-4c28-a5bb-3526f4b691bc","resolution":{"observed_at":"2026-08-06T17:43:25.278952Z","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-06T17:43:16.355712Z","title":"Bennett, Richard Cleve, David P","venue":null,"work_id":null,"year":1995},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.355712Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:1e24ac0766ccfc550e875f67dbd899370ae0b75af5b9e4bb24155a69dc4c5947","observation_id":"4d170da3-06dd-4d3c-9796-8b6d573cd5a2","resolution":{"observed_at":"2026-08-06T17:43:16.355712Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1811.04968","last_updated":"2022-07-29T22:39:54Z","snapshot_observed_at":"2026-07-06T07:14:13.912107Z","submitted_at":"2018-11-12T19:18:57Z","title":"PennyLane: Automatic differentiation of hybrid quantum-classical computations","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1811.04968","snapshot_observed_at":"2026-08-06T17:43:16.386223Z","title":"Izaac, Maria Schuld, Christian Gogolin, and Nathan Killoran","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.386223Z"},"links":{"cited_paper":"/paper/1811.04968","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:9bad63cf2bc4c6574bccb1c1e79b8bd6e324f710687b2165f0daf58931737060","observation_id":"2184f9a9-cc6b-4754-9327-59e0bd7ef746","resolution":{"observed_at":"2026-08-06T17:43:16.386223Z","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-06T17:43:16.440819Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.440819Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:caa839b194db505a521138019199e009f8069fa87cba826540470d925b87745a","observation_id":"f1230274-fd34-44e3-bcc7-e5be3372eab1","resolution":{"observed_at":"2026-08-06T17:43:16.440819Z","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-06T17:43:16.492431Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.492431Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:0474f56b2c8360678327cd84df57c8529f4111c285879c2586101e6d206ff8d1","observation_id":"0182d8b3-4e7e-41e8-b865-fa080d521606","resolution":{"observed_at":"2026-08-06T17:43:16.492431Z","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-06T17:43:16.537656Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.537656Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:486dd32e4b6308325671f56a8b778784a368991b12622585a80cfc2043582a4b","observation_id":"ef64bab2-72f3-41c4-b338-67b48500157d","resolution":{"observed_at":"2026-08-06T17:43:16.537656Z","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-06T17:43:16.600038Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.600038Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:aa74b0e886f1157882560aee6f641add274d09a9f9ae938c77b436a98b89ed9f","observation_id":"398dc4ba-6e3d-479a-bf56-c6bab414b310","resolution":{"observed_at":"2026-08-06T17:43:16.600038Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:31.842596Z","title":null,"venue":null,"work_id":"348a1676-f8ed-48b6-b035-04765145ae22","year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.669266Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:0ea33ee81e6bb4e8bba7f77ce7e7b36864ec6f5eee94a4291088f17b94d9e255","observation_id":"0556517a-f38d-4220-bec7-2f5ce0968e82","resolution":{"observed_at":"2026-08-06T17:43:31.954393Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:31.636536Z","title":null,"venue":null,"work_id":"d9b2114c-7642-404d-bc11-a35704f87fca","year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.702971Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:76581ef2e6ca5095d2b7813b7db34d3f232d41c9d65b2d4981765ce43461f657","observation_id":"dd77c603-d9c8-4e06-8775-95a93f7a4ca2","resolution":{"observed_at":"2026-08-06T17:43:31.718711Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:31.416399Z","title":null,"venue":null,"work_id":"37dd21fa-dc55-499f-84bb-105d7614aead","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.743603Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:acf53132648b2b86707da6d3c8e487988a99d8c26f84130b1132fefde39a4066","observation_id":"616e1492-b347-4268-90d7-473d9f892b14","resolution":{"observed_at":"2026-08-06T17:43:31.507683Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:16.798670Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.798670Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:aeba2efe7a68ed7dac02f9f3c6c18fe3df45fc7a492438316d85c30946d05181","observation_id":"a46ec113-c2c4-4dee-9653-9a9ae9b022ec","resolution":{"observed_at":"2026-08-06T17:43:16.798670Z","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/978-3-031-44245-2_9","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"4072a9ae-1b18-4ba4-a993-e9c541829cfa","year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.844665Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:dbe0646d739cedf5e5ce42dc2341b72852f6d83b80e847a6f99e67af5ce6faf5","observation_id":"377b4827-cb09-444b-94ab-0e5c5eb9f5ff","resolution":{"observed_at":"2026-08-06T17:43:25.025086Z","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":"0906.4725","last_updated":"2011-04-21T14:18:07Z","snapshot_observed_at":"2026-07-06T01:57:48.890721Z","submitted_at":"2009-06-25T15:58:11Z","title":"Interacting Quantum Observables: Categorical Algebra and Diagrammatics","version":3},"cited_work":{"arxiv_id":"0906.4725","doi":null,"metadata_source":"pith","pith_arxiv_id":"0906.4725","snapshot_observed_at":"2026-08-06T17:43:26.260270Z","title":"Interacting Quantum Observables: Categorical Algebra and Diagrammatics","venue":"quant-ph","work_id":"08d5847d-4b07-42fa-8210-b63d32899d25","year":2009},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.883799Z"},"links":{"cited_paper":"/paper/0906.4725","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d0f8f9b88eeb52ff85325d220abb93776097fb43d9d32733a93786de037d5571","observation_id":"99ceb601-8933-4039-8b60-ac30a5be1535","resolution":{"observed_at":"2026-08-06T17:43:26.407997Z","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":"10.1007/978-3-030-87348-6_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"1bc6228d-048d-45fb-aaff-fc66bacbe4c5","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.928624Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:0d0508576c875d3d915bfa344a3e8f53236998e6ea8e4beb4a2f185aa1ab4ca4","observation_id":"632528a1-8e56-45ef-a2a5-00156029b3d2","resolution":{"observed_at":"2026-08-06T17:43:24.785167Z","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-06T17:43:16.977251Z","title":null,"venue":null,"work_id":null,"year":1977},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:16.977251Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:4bd954eadcbf571b49dd83c2577e5e30f194d3d0fdc58f25356908edd5a1b8e0","observation_id":"4236f01d-4df8-4a6f-8d84-16c77a3cddcf","resolution":{"observed_at":"2026-08-06T17:43:16.977251Z","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-06T17:43:17.008905Z","title":null,"venue":null,"work_id":null,"year":1979},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.008905Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:3fc9f1acdccdb37d7cdd1d969728b974ef003fec297d6eddcaad4818e60ba088","observation_id":"c5734822-9ef1-461a-81e9-93201537c24f","resolution":{"observed_at":"2026-08-06T17:43:17.008905Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:31.295648Z","title":null,"venue":null,"work_id":"41182051-6230-4bbc-bd28-dfec0303af42","year":null},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.082538Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:4beda0cba7d5037818f5d179d0ad9d3a11230dd6c1b273786232b2e2313b2da2","observation_id":"510e4e95-5e13-468b-bf41-602687e1ecf1","resolution":{"observed_at":"2026-08-06T17:43:31.348904Z","resolver_source":"raw_fallback","status":"unresolved"},"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/3474224","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:24.242152Z","title":null,"venue":null,"work_id":"e2d344a9-1f34-4bf0-8146-61917a6db585","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.174257Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:753b06d8bf792f4b2aab4c1d7a2eeb976a7f38cbe84f158e92012e5ab2041d93","observation_id":"514ef879-7c15-435a-afbc-8d3a3c68ce6d","resolution":{"observed_at":"2026-08-06T17:43:24.311754Z","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-06T17:43:17.231461Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.231461Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:3f2f7ba4f948ba980c7febf08e1a015b4a8ffae5fe9dbe55572053abc3586c54","observation_id":"c46759b4-aa63-4819-bbc9-61bce49c42fe","resolution":{"observed_at":"2026-08-06T17:43:17.231461Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:31.108181Z","title":null,"venue":null,"work_id":"c1ee48c4-20f7-4eed-9b41-ca33ecad19a9","year":2019},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.286908Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:1f61ffa8537d7c71971c2ac14f88ff45df3fbb191a7e9210a7fedac4ee9a3189","observation_id":"344861cc-56bd-4dd8-bd20-41fdb238c19a","resolution":{"observed_at":"2026-08-06T17:43:31.211864Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:30.902950Z","title":null,"venue":null,"work_id":"cebc238e-2679-450b-8ca0-e0871438b562","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.334716Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d4019ac3e899c0073b49d249d2668a37a76f4d96d1cb2145ef14039c53f877f6","observation_id":"54bd666d-4946-41cf-ae1a-8dc7e9d58b9d","resolution":{"observed_at":"2026-08-06T17:43:31.047109Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:17.388137Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.388137Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:3014ddf05829b71566ef755270818775d042c31f36b1eccfbec8cdb1da24442a","observation_id":"e5f4ea9e-ad29-4eb2-bd21-74fa0e051d21","resolution":{"observed_at":"2026-08-06T17:43:17.388137Z","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/978-3-540-24725-8_4","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":null,"venue":"Lecture notes in computer science","work_id":"a6f1bade-2de0-4982-add9-f47596cb57d4","year":2004},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.484038Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:01646e4eb1ce1e52ea5aa8763da01ffe353c81bd33c5732cc8daa5bba52bd78e","observation_id":"455566b4-681a-4b62-95ca-b84811ec0647","resolution":{"observed_at":"2026-08-06T17:43:24.125892Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:30.531793Z","title":null,"venue":null,"work_id":"83322ccf-cdf6-4420-beb0-e23445ec184f","year":2022},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.623220Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:b551a50f6dd4d6c29a3ca0bbd8529759e18ae2476457121a22bda95735e23c86","observation_id":"a3c9ffa9-6071-4d1c-a84b-f14d92cec081","resolution":{"observed_at":"2026-08-06T17:43:30.729172Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:30.266526Z","title":null,"venue":null,"work_id":"c89c3954-6a5e-40cd-b28d-961457dc38a8","year":1971},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.725638Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:290a9f7589ab0d45cc93c726e70f51d3d3d8ace192eb159b9d3f00b05623913d","observation_id":"5ee1a55f-c90a-4a26-b60c-a28d202d83e2","resolution":{"observed_at":"2026-08-06T17:43:30.391259Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:17.771749Z","title":null,"venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.771749Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:96c0602e136156e502e6c2c2f8bc7b2e6c7f2ad39abcee41c1adc6043ab07879","observation_id":"f6e0d4b3-90e2-4c97-bd04-045d4c8fd778","resolution":{"observed_at":"2026-08-06T17:43:17.771749Z","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.1145/3649309","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:23.724051Z","title":null,"venue":null,"work_id":"ff24f5a8-9070-43fa-9eed-779b8b028d3c","year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.820292Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:981a8018e6a58dc6c440e8981e64ba43a59bed9feb3d007a7ce00857f517185b","observation_id":"00f0c97f-faa5-4a68-bf32-ead270170308","resolution":{"observed_at":"2026-08-06T17:43:23.848680Z","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-06T17:43:17.997111Z","title":null,"venue":null,"work_id":null,"year":2000},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.997111Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d7ec7ae71865d1c2a32f6a6fe34d98c387337127f1aed07dda36420a7561b110","observation_id":"8e4e41cd-f18f-42b4-8558-259494debfd6","resolution":{"observed_at":"2026-08-06T17:43:17.997111Z","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-06T17:43:18.060858Z","title":null,"venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.060858Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:12fdd25f76de01f9d398dff2b45392454ed1a36b5bd2c5b2540f1e1b9da62c18","observation_id":"43a62ef2-d4de-493d-aa8f-70c2ccf91320","resolution":{"observed_at":"2026-08-06T17:43:18.060858Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1804.11326","last_updated":"2018-06-05T21:48:09Z","snapshot_observed_at":"2026-07-06T06:36:31.526822Z","submitted_at":"2018-04-30T17:14:09Z","title":"Supervised learning with quantum enhanced feature spaces","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1804.11326","snapshot_observed_at":"2026-08-06T17:43:18.183293Z","title":"Córcoles, Kristan Temme, Aram W","venue":null,"work_id":null,"year":2019},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.183293Z"},"links":{"cited_paper":"/paper/1804.11326","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:de8f738b917d668137400070fac97b4929865a66d740d586e8f7c6415a7250a9","observation_id":"9c58b894-a061-42c0-9e93-678c90f6f262","resolution":{"observed_at":"2026-08-06T17:43:18.183293Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"1511.01572","last_updated":"2015-11-05T01:44:16Z","snapshot_observed_at":"2026-07-06T04:35:25.719357Z","submitted_at":"2015-11-05T01:44:16Z","title":"Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism","version":1},"cited_work":{"arxiv_id":"1511.01572","doi":null,"metadata_source":"pith","pith_arxiv_id":"1511.01572","snapshot_observed_at":"2026-08-06T17:43:25.630290Z","title":"Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism","venue":"quant-ph","work_id":"748e6093-7b9c-4191-aa58-71460b1ee67a","year":2015},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.272603Z"},"links":{"cited_paper":"/paper/1511.01572","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:072910157301ff0facfa4983653d96d497f05adee7ba08f23a217b735c54e45d","observation_id":"4b70c858-fd74-4c05-b6cd-5c8266310d6b","resolution":{"observed_at":"2026-08-06T17:43:25.784174Z","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":"2307.10560","last_updated":"2024-04-05T08:38:13Z","snapshot_observed_at":"2026-07-06T15:56:15.361460Z","submitted_at":"2023-07-20T03:55:53Z","title":"Post-variational quantum neural networks","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2307.10560","snapshot_observed_at":"2026-08-06T17:43:18.414206Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.414206Z"},"links":{"cited_paper":"/paper/2307.10560","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:295963754504397c1dc0a8c4e107971f738d4896f27e74a05220913b7b1a4044","observation_id":"f3a04b3f-0e54-4949-b379-cddd53dbb6f4","resolution":{"observed_at":"2026-08-06T17:43:18.414206Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:29.979306Z","title":null,"venue":null,"work_id":"ba00f559-e870-44cc-a314-8ac2f9f5b71c","year":2002},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.459126Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:c82fc6882355f49b9c60ba567ea167295350ba7a54d6b4fcd53b0603b136a98a","observation_id":"9dc53f11-86ae-4451-98c9-1cdfbc2f9718","resolution":{"observed_at":"2026-08-06T17:43:30.115427Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:29.662075Z","title":null,"venue":null,"work_id":"2049ecab-2ea6-4a43-a34a-9d9f2f9b4546","year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.575887Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d6674757143f8d4b15a7b755d6e91fa0aa575f766c93b63cea7314d1e2077f0b","observation_id":"7286f0dc-1830-46ae-9070-edf1b66e694b","resolution":{"observed_at":"2026-08-06T17:43:29.770057Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:29.302154Z","title":null,"venue":null,"work_id":"e7ec5ad8-2285-4d25-9697-55b52ac09dde","year":2010},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.680753Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:385310f3aeaada3feb2c2ed6ca34bacc61e09448c67aef52ab74f77ff449118a","observation_id":"a26e04a0-517b-4658-b1a4-e9353ce8b433","resolution":{"observed_at":"2026-08-06T17:43:29.527626Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:29.208784Z","title":null,"venue":null,"work_id":"2f3f1f43-b42b-4d47-97ba-5a4e1a6e63e7","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.827372Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:8cedb1bf473e23da0bdbf11269a7dc4fd1838255ec54f4894a9ee06514568d24","observation_id":"802b3fef-5f5e-4d29-be41-738f097d0835","resolution":{"observed_at":"2026-08-06T17:43:29.243982Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:29.057987Z","title":null,"venue":null,"work_id":"ea08782d-cf6c-4789-a4a8-f99c51f0e1d8","year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:18.919474Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:7476d9618e90847e256679af5489ca4a01dbb28665719fc32acad135900c4e1f","observation_id":"db256254-fb00-41aa-ba0e-27acd58e2587","resolution":{"observed_at":"2026-08-06T17:43:29.150126Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.928060Z","title":null,"venue":null,"work_id":"912bde9b-8d48-42ac-9adb-c4df7c1df04d","year":2023},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.023862Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:c36fe57d085605d2baac185fec6f44059e48fcbc08c96e4cbfb41ee79e91a816","observation_id":"2b78e3c1-6979-4d3f-bba1-2f0e2fd6c75a","resolution":{"observed_at":"2026-08-06T17:43:28.975913Z","resolver_source":"raw_fallback","status":"unresolved"},"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.1609/aaai.v38i19.30134","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.786683Z","title":null,"venue":null,"work_id":"222207db-edbb-4d6b-95ac-484cdccbd28b","year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.134998Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:f160b99ec0634d5563a3e4404dc03d41b42bf20ef0859aed2722c318170f17a7","observation_id":"112b9902-5837-4161-b494-85227cbde5ca","resolution":{"observed_at":"2026-08-06T17:43:28.860566Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.649815Z","title":null,"venue":null,"work_id":"5a6124d0-a301-4e7f-b0b3-c6e13c0d2bd7","year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.258228Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:6fcc9a575c3f99b2e752919671d30d313cf2a97e2b5b9a855f41d0792ee863cc","observation_id":"213804c0-d758-4967-a2d5-0d20c4ba1969","resolution":{"observed_at":"2026-08-06T17:43:28.714608Z","resolver_source":"raw_fallback","status":"unresolved"},"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.1007/s10009-024-00774-x","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:23.544276Z","title":null,"venue":null,"work_id":"e5bfa4df-3491-468a-8f2e-5a66702d0c1a","year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.414802Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:c37f9fd8d3e7bb39e13ca57cb3413f085b1ff759c3d42682f4710796fecebc29","observation_id":"0aef3376-3c28-4186-aaec-d923873e0fa3","resolution":{"observed_at":"2026-08-06T17:43:23.622349Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.515168Z","title":null,"venue":null,"work_id":"d45def3f-5b98-43de-85ee-31165413c979","year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.569576Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:babf713cbd56ca5e12fd38d5fe687f827323c7b3e71b46b2caa7b409cbf3ace3","observation_id":"c2c7e3f5-21d0-4793-b4c6-2137dbfb718a","resolution":{"observed_at":"2026-08-06T17:43:28.575165Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:19.683638Z","title":null,"venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.683638Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:3662cb7545d8c575ae4ba5f446be6d55b7b80509c0cb14fe47ebd011b4926f82","observation_id":"77c16d13-e838-4c5a-88ce-20411ece7a80","resolution":{"observed_at":"2026-08-06T17:43:19.683638Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2106.07327","last_updated":"2021-06-23T12:46:28Z","snapshot_observed_at":"2026-07-06T11:18:56.966931Z","submitted_at":"2021-06-14T12:08:30Z","title":"Variational Quanvolutional Neural Networks with enhanced image encoding","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2106.07327","snapshot_observed_at":"2026-08-06T17:43:19.870118Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:19.870118Z"},"links":{"cited_paper":"/paper/2106.07327","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:0b4085342929c505437c91fe1b3a474834a7803623ac417600fe3d0b40bf51a7","observation_id":"69a549c6-dfe1-4b6e-8034-24c35318457e","resolution":{"observed_at":"2026-08-06T17:43:19.870118Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.390744Z","title":null,"venue":null,"work_id":"c6527328-bbd2-48b3-8a82-0761abf14bc9","year":1967},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.027792Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:5fc9cde5d2634db8c6d7328116a50944a53f1831be2f892d831e569d28d231e2","observation_id":"005b7141-ac1c-4adc-947d-5ad7be5c5bde","resolution":{"observed_at":"2026-08-06T17:43:28.456855Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:20.203583Z","title":"Mitarai, M","venue":null,"work_id":null,"year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.203583Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d9c56e997273aa22be23c0db04a259a98ed77d4ebdc95bcd96e8bd11b024e42f","observation_id":"e1f3d15e-3e76-4bb7-9a15-94037073d856","resolution":{"observed_at":"2026-08-06T17:43:20.203583Z","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-06T17:43:20.359470Z","title":"Moore, R","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.359470Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:701c8ec33b6f3c741413ca84470c4e9c8a7a4017c13bbe0c7c494938b1bf67bb","observation_id":"bd6d3780-fae9-4ab2-9632-c820a76999d0","resolution":{"observed_at":"2026-08-06T17:43:20.359470Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0407010","last_updated":"2004-07-01T16:27:31Z","snapshot_observed_at":"2026-07-07T07:16:27.599778Z","submitted_at":"2004-07-01T16:27:31Z","title":"Transformation of quantum states using uniformly controlled rotations","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"quant-ph/0407010","snapshot_observed_at":"2026-08-06T17:43:20.559392Z","title":null,"venue":null,"work_id":null,"year":2004},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.559392Z"},"links":{"cited_paper":"/paper/quant-ph/0407010","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:055b1993d8fbdb387bd1d4b294517973083a51965f76c46385b75ebd70386b4d","observation_id":"423a731b-acbc-4208-b5ed-e25ebd510615","resolution":{"observed_at":"2026-08-06T17:43:20.559392Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2410.09121","last_updated":"2024-10-23T02:55:57Z","snapshot_observed_at":"2026-07-06T19:32:02.130965Z","submitted_at":"2024-10-11T00:14:31Z","title":"Comparing Quantum Encoding Techniques","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2410.09121","snapshot_observed_at":"2026-08-06T17:43:20.772997Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.772997Z"},"links":{"cited_paper":"/paper/2410.09121","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:6f1131aa002d4d005ca5fee24ea8d1b367af18c98573ba58fbec88b523e8e53d","observation_id":"1fd96888-9c98-4de8-86d4-474aab092ad5","resolution":{"observed_at":"2026-08-06T17:43:20.772997Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.227848Z","title":"Nielsen and Isaac L","venue":null,"work_id":"85ac7155-7f45-4b8a-b342-6667a3fc53b2","year":2010},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:20.901363Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:c9b33b27290392fa1c61508bd97136684b6d7c389c8f01a0eec4a2f541c8279f","observation_id":"aa4173a1-f3c5-4a49-854c-8ecdc7b34be4","resolution":{"observed_at":"2026-08-06T17:43:28.300331Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-06T17:43:21.023861Z","title":"Pedregosa, G","venue":null,"work_id":null,"year":2011},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.023861Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:e1a962d2fdeacb18edc17a3804ce33f03cc3cee426173241cd6fc2a2b2150471","observation_id":"345b3774-8032-4ed1-b298-df50d1da2526","resolution":{"observed_at":"2026-08-06T17:43:21.023861Z","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-06T17:43:21.117641Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.117641Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:147e00df58ba74171df6a888ddf7ab1a06a421c3d0b5d5244698eca8e6f63be6","observation_id":"1c98e340-cada-49f6-8e56-b045301328a6","resolution":{"observed_at":"2026-08-06T17:43:21.117641Z","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-06T17:43:21.192605Z","title":null,"venue":null,"work_id":null,"year":2010},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.192605Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:db1a2e3c08d73ce744b23069f1c6a0dc2d373e15316593a17809a9f568e45df0","observation_id":"a18feace-37ac-4e1f-9409-472460d75a10","resolution":{"observed_at":"2026-08-06T17:43:21.192605Z","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-06T17:43:21.264314Z","title":"Rath and H","venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.264314Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:73a458aef2b7328a7a2564b302d80a32520b2a422509b779de4b99a997f31e55","observation_id":"f460f25f-6b2c-419a-a5ce-d88bc99baeaf","resolution":{"observed_at":"2026-08-06T17:43:21.264314Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:28.084657Z","title":"Quantum Mechanics and Path Integrals,","venue":null,"work_id":"363048bc-3f6f-4a39-a28f-03a12b57c307","year":1965},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.338884Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d8b4746fcba052001077a9f5a7d1dd121872958b70a95d466aed61c86930ae40","observation_id":"12d5f024-4823-4555-9c64-b78bdf0e0e84","resolution":{"observed_at":"2026-08-06T17:43:28.157508Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"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-06T17:43:21.409922Z","title":"Svore, and Nathan Wiebe","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.409922Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:ac4b255bebebc97aeffbf4cff942d46c35f4780ec2a89b799103bdbc873a18ae","observation_id":"66c098a5-29a4-4330-804d-aee7fc1baa52","resolution":{"observed_at":"2026-08-06T17:43:21.409922Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.978629Z","title":null,"venue":null,"work_id":"66f3188a-decf-4c60-bb55-4071eefce2fb","year":2015},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.575357Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:3bcf3b5870b03535d51e036f9cc7db4225805490d57b532e4491e1d5337ad662","observation_id":"b54dab64-eff2-4b14-99da-ec5d7113ce50","resolution":{"observed_at":"2026-08-06T17:43:28.014948Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.822498Z","title":null,"venue":null,"work_id":"d66936be-2e69-44d3-8a75-0b34b62fb58b","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.745110Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:a9bb7308942c74307012a14ad2465b80c7d7f88c261643772948a6b80e075c36","observation_id":"54d610b1-95a2-4bbb-a5ee-40ed89d36f18","resolution":{"observed_at":"2026-08-06T17:43:27.891448Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"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-06T17:43:21.879776Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.879776Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:5b9930c10e2ee9bafd4f45c50b1021db287a447a4e73ddb09a159b499c84aa22","observation_id":"f81d279c-a7ed-4360-9da1-146f778e6b96","resolution":{"observed_at":"2026-08-06T17:43:21.879776Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.689405Z","title":null,"venue":null,"work_id":"8676af97-6f3a-427b-84b0-2ff829b9f7f5","year":2019},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:21.990003Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:ec87879173d6bd7bd757ac73731be41f9fc416f720f5430b8c46278077bd6562","observation_id":"545a43f0-4b0d-4a3f-b5fc-e25111927e50","resolution":{"observed_at":"2026-08-06T17:43:27.764885Z","resolver_source":"raw_fallback","status":"unresolved"},"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-06T17:43:22.160101Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.160101Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:61d6de76d204ec2a792662d5fe5d8cfd9257c6484e83fec17a33e6d199a28aa3","observation_id":"e8c6fb5b-6fc8-487a-8a1f-7148cb6ca73c","resolution":{"observed_at":"2026-08-06T17:43:22.160101Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2012.13966","last_updated":"2020-12-27T15:54:25Z","snapshot_observed_at":"2026-08-05T18:02:14.598988Z","submitted_at":"2020-12-27T15:54:25Z","title":"ZX-calculus for the working quantum computer scientist","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2012.13966","snapshot_observed_at":"2026-08-06T17:43:22.375516Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.375516Z"},"links":{"cited_paper":"/paper/2012.13966","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:85d32c6e076b8fda25e14c69c9e94be528c6d0580614cb33bc0133a270c496b6","observation_id":"ea377c66-cc61-46c2-9e69-b1db3b6e4ccc","resolution":{"observed_at":"2026-08-06T17:43:22.375516Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.551320Z","title":null,"venue":null,"work_id":"c793eb9e-7ea2-4668-8f92-9ed6ebb5632b","year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.513104Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:79ba7e2d0ec59da0a0588bd921695c5e6986cc8097fe934a0c9dea31dc32cb47","observation_id":"cf5445be-c103-4204-930e-e5e14405783a","resolution":{"observed_at":"2026-08-06T17:43:27.621140Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.451668Z","title":null,"venue":null,"work_id":"15582abb-ccfc-45a3-8c70-006b912f62ab","year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.675500Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:96b11b6b36f353eea56d4de949758e78f6e102796eb839abd626b76b171e456d","observation_id":"11c2bcb2-067b-41aa-99fc-754c236dfb2d","resolution":{"observed_at":"2026-08-06T17:43:27.507606Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.262568Z","title":null,"venue":null,"work_id":"3f946d1c-9c9f-45fe-8814-87d497fee102","year":2025},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.830868Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:b7b07cdeda2565ba706dd1147d7589c907556dde9418559712864c2be968d66f","observation_id":"b3536610-8d28-4d6e-bea7-7ea7f0be0026","resolution":{"observed_at":"2026-08-06T17:43:27.353957Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:27.047218Z","title":null,"venue":null,"work_id":"46ff0f6e-6345-4fd9-a2a4-3d6c9ba5b4a8","year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.952489Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:d4089aed21238fb3db827bf38f7a09425e0890182203b34c748b06029152a1ca","observation_id":"9504b614-b98f-41b4-ad7d-6ecb6d80ea71","resolution":{"observed_at":"2026-08-06T17:43:27.180810Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"2011.13824","last_updated":"2021-03-16T16:35:00Z","snapshot_observed_at":"2026-08-07T19:55:18.267566Z","submitted_at":"2020-11-27T16:42:12Z","title":"Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2011.13824","snapshot_observed_at":"2026-08-06T17:43:23.040910Z","title":null,"venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:23.040910Z"},"links":{"cited_paper":"/paper/2011.13824","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:c4ad5bd956d57f327179c276e515a198f3c8343c344c5c07e9c02630553a61f9","observation_id":"ae1d90d7-9770-4730-a2af-b1ac1909edcd","resolution":{"observed_at":"2026-08-06T17:43:23.040910Z","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-06T17:43:23.153791Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:23.153791Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:051be34a2827ac70cc7cb7fcb251d51ac7e5b028e9ad52a3f296750c48123ddc","observation_id":"dddda504-f821-4b6e-bb9f-2e913d9ad21e","resolution":{"observed_at":"2026-08-06T17:43:23.153791Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:26.908785Z","title":null,"venue":null,"work_id":"a71beba7-4823-41fa-ae27-d20b76c409a7","year":2018},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:23.222183Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:91dd3a0cfa1ae9532eae7c846c9c6c14231f9f9d6cf5f80595441c67d306dc51","observation_id":"ecc61023-bd9e-492a-b78d-43873addb319","resolution":{"observed_at":"2026-08-06T17:43:26.970731Z","resolver_source":"raw_fallback","status":"unresolved"},"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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T17:43:26.684925Z","title":null,"venue":null,"work_id":"53145abd-9eb8-4de9-a3b0-e49609cfd6d8","year":2024},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:23.332157Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:db510f9b0643a39b0d2a4e11995e6df958a617f13bbfa5441cd706deb4768271","observation_id":"d16d17c2-dc9c-443c-9256-084d49e8f79d","resolution":{"observed_at":"2026-08-06T17:43:26.835510Z","resolver_source":"raw_fallback","status":"unresolved"},"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.1007/978-3-540-77505-8_23","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-08T00:03:56.115653Z","title":"In Advances in Computer Science - ASIAN 2006","venue":"Lecture notes in computer science","work_id":"7a865b48-fb5c-4052-9fd1-332ead0cd587","year":2006},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":2006,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:17.130926Z"},"links":{"citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:2d6a0647afaf0c78764e72687d49a05bacc1e6c72be8e0ba870685247583e53a","observation_id":"28377f78-043c-4b3d-974b-896b2aec2aa0","resolution":{"observed_at":"2026-08-06T17:43:24.559167Z","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":"1312.6199","last_updated":"2014-02-19T16:33:14Z","snapshot_observed_at":"2026-07-06T03:31:33.797310Z","submitted_at":"2013-12-21T03:36:08Z","title":"Intriguing properties of neural networks","version":4},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"1312.6199","snapshot_observed_at":"2026-08-06T17:43:22.279699Z","title":"arXiv preprint arXiv:1312.6199 (2013)","venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits","version":1},"reference_index":2013,"source":"pdf_text","source_observed_at":"2026-08-06T17:43:22.279699Z"},"links":{"cited_paper":"/paper/1312.6199","citing_paper":"/paper/2507.10635"},"observation_digest":"sha256:07efbb04f79e7c9ff7557a8757b2caec32e1e44b7958d17d59e8bcf31ac01667","observation_id":"d09c78e5-da9b-4a55-9942-f8cd2dff8e0e","resolution":{"observed_at":"2026-08-06T17:43:22.279699Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2507.10635","last_updated":"2025-07-14T12:28:32Z","latest_version":1,"primary_category":"quant-ph","snapshot_observed_at":"2026-08-07T06:15:08.489906Z","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits"},"reference_resolution":{"displayed":76,"state_counts":{"malformed_identifier":6,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":57,"verified_exact":11,"verified_fuzzy":2},"total_outbound_references":76},"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 8 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 1 inbound Pith citation observation for arXiv:2507.10635."}