{"as_of":"2026-08-15T06:24:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:cc8255c792bce208464fb4a3e8f78fda97ef14e04506c43ba78ac1f6b801b98c","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-14T06:32:32.682623+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-10T03:14:57.517544Z","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:709215d97aef85955fbe9ed4732fec0de43ca367eab14278c5ecfae4604236a0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:e61bde0590078ef8a5e4e76029be258c6335b6adc73fd02965bdd95c80bbc50c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:0414ea730ee0647f49bef33d4b1aa306c94d6980bdb39ef46dc91e7da2acb5be","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:19be41aa05ea171bb5ce61a224c87ff8f392734cc6726687ffcd28bd9bf540e3","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:7363b9be9b0c38007a5a44c4775fdcdec61078d61afb45f45ceea06e7bec22d7","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-10T03:14:57.517544Z","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:a57a9d1e9ecddd852e22ee41d7de52b732bf7dab2635915176f4f606b3491253","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:66f12e919f2edfb1a14f4316b19f5df4222c8ba11f2765165655db34ab89f190","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-10T03:14:57.517544Z","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:65207bf3a2227bd8b58001b055448ce982d3fdb798e19f793293f4330375a1ac","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-10T03:14:57.517544Z","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:311b9a9d49399e6e9a846978542ba190cc77656a99c6ea073eaf60b40e57e5c8","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-10T03:14:57.517544Z","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:1fdd8152aaf17a0ef47feda42531408992110ab006f4cfce57c91c4a585af5ba","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-10T03:14:57.517544Z","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:8b7d137669f8cc201872ee424d2094f311c6d27fe3f60e2f4de52b5e73391403","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-10T03:14:57.517544Z","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:93dabee2d2b1f45b739ecb0899143b8066c3bcf4f287e08d70f43bdfe3b030af","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-10T03:14:57.517544Z","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:b45eed9ce8b9cc8eb0d38deff338e0bf485e985d7750ef2d3dce6788c9cbe430","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:e4136170d95ce5f4bf26cdceae9f9888266eb05193d8618120fbe909b0150a90","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:4b136860308043b6882c4aad7c02572018335feb5bd91bf324ceac89356fe9f1","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:688b1b060dc5d31e1b7d89941889d66c17a0d4115402c700b05770a4632fe7f7","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-10T03:14:57.517544Z","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:f1e7933ca2c4b77ff8fcae535b7d4cbf178b8a1f39a4035fff9e0049eb473ae0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-15T05:45:07.527073Z","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-10T03:14:57.517544Z","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:8088220b35405c6c3b24625202a800ac01d582ff3bbaa0f57d286581d40489e0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:ecbd26d6ef4deeff6b48287c667f0c4bf4d9c323feca6c0ad63a6c991be63dee","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:cfd49a45f5b488583454cf63806c96c7b31b4af82d896d15c971e4c21265c845","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-10T03:14:57.517544Z","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:401741f1fc5fc74a8322921c4a3c75e5f07fb92fbca6bc4986efc5ff17ef232a","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-10T03:14:57.517544Z","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:6b01c461dccb4dac4ea1ab1e19339316e05858580ec8f1bd75d26eba3ca071cd","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3474224","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Journal on Emerging Technologies in Computing Systems","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-10T03:14:57.517544Z","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:6dffd7b26044de08c56d9d58feb37982f597e9687f4b11558f1533fe878f02bb","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:66bb21c3e7e3408c83c62fff28347d8692ebfaa7649b445fabf4b3cf69c939b3","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-10T03:14:57.517544Z","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:9226e141e578c7133e15bcf6a019c3b452f5e64589a2e101da95b8189e15e7e4","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:c16ad9c86d58a866779f55a39a799d53ccc5d35ab5774e684145fd66b806653a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:f8b987740ea58c9d8e402a347281e7b01469f198c63f414e465c1b880b47022f","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-10T03:14:57.517544Z","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:467b3886fd6e0ee28e9402a531158062e4ac78306669b12d6ac7c0d26eb1ba0e","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:db6781897dbd8fd5ba6480eba9eabc32650df6152674edd0440f5845c48599e4","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:25d600ae03783eb722a6226749fcf0fb03a21f9668a3ab1d0cae86d4a44d7b6c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:2f3c7de25fd1824157620afe215c7f578ed9f5c3a85866226bf9a32ae5f785e2","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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"ACM Transactions on Programming Languages and Systems","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-10T03:14:57.517544Z","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:c0c6cc67fbe5e795b834d4d0e778224d582aa2a9ae0e9517e3b151bb3b6e483f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:d74b577fcf93397beb0a0bcb27f296dab9b57c896088e8114b77de8dedc4e279","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-10T03:14:57.517544Z","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:6a35f65f9bab895a010d33ca68b25d9f1e6118228ff60acff6a7b5bf52a749fe","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-08-14T19:20:25.681005Z","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-10T03:14:57.517544Z","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:bc4c47a9f6ee5f1d2e768c229f96608dcb538d0442a2a9f47fe138c91353dd45","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-08-14T22:24:46.458022Z","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-10T03:14:57.517544Z","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:b8470fea2fb4f1cc8a55894f7b6c40f2d62f84fd4bffe5fef5de2d4f94ae8121","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-08-13T10:52:11.289046Z","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-10T03:14:57.517544Z","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:4f72e5b05ff48f17846eb91345bd28d9d7a160218239b8280e5b17bc9a77f8f0","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-10T03:14:57.517544Z","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:4e6258a9376e3eb0afcbc0d95c1b795b13567a2bfdbb521d422d48931cc035ae","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:c4c4432497059ec21313fbe8362ba190d090c1c3f9b59e448fd4b975806702be","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:5aad9314227966b44091aa04e5fda516a5e8253b94edcebb8f05d3652299396d","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:f4278639b3cbcf25f693bc62768a9105f6749a19cd56bc778b02365c045e448a","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:a36ffe97e29068e720f476beb6f54ea7f7fb5870e6b02604b3b925038227c88d","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:10ee5f340162b858d8c0376c81e584f77f6d8d64691fd0e42da41b2355cd6f17","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1609/aaai.v38i19.30134","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T05:30:23.456663Z","title":null,"venue":"Proceedings of the AAAI Conference on Artificial Intelligence","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-10T03:14:57.517544Z","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:ac505c7b21633d7c1e6cde980fff84b57e90fb72e203f56526089fac4aebb81c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:566d4f1642cdc77247635932d2646c750a0d1eccf5bf8544dfbfcf559eca6dbb","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-10T00:03:40.895421Z","title":null,"venue":"International Journal on Software Tools for Technology Transfer","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-10T03:14:57.517544Z","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:7d43a304b57782cb6707b557cada694e08e9cf0c2cc696f8536e4d37c63f5e25","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:50e50bc71eb79c0f27ec7fc62436909adc417d561d7c8a9846e4950cc2071adb","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:4cd68d8a257c82fdcc33717650b753abe905bf7fdb9785edc1d02baefa63bed3","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-08-13T19:04:13.671641Z","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-10T03:14:57.517544Z","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:d186e15755fd34406e8c35fd9eef9e6cc1eb21ed798fc972e6c42b53fc3f46fc","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-10T03:14:57.517544Z","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:e7889af2f9e3addbe09d14e1adc4707e33c7919ae465c697cecc0244d281f394","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:5985c747d4b847a841da24b9a18085471ca0641702ec76e0f8e649de84c1dbe1","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-10T03:14:57.517544Z","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:fe023e2ab8f70d08f54d26b2b1d692075400ecc0136f2581fb6b9de3f6a245c4","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-10T03:14:57.517544Z","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:e2a868234f28598ec1999a0922484338d41bf4ea79621ca014eb329bc16cd9fa","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-08-12T22:25:51.735683Z","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-10T03:14:57.517544Z","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:e13bed5b4c910770783dce34256e6798b0f1426ca253d3788f170cc20f191d16","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-10T03:14:57.517544Z","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:533e8f7be2b2bed2a3b0253467494fa29c97068d697f9f2ea11ccda5988b2bc6","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:9151c174521e800897fa82bd91ad3f52f697b25989950eef34c0283e388bf479","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-10T03:14:57.517544Z","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:6e3df501addf1e4a1dc9e7ab6ca08299da8e59c33910d01b050e959b380478f4","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-10T03:14:57.517544Z","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:e62f0bbf9c85ce35ea4b4d912546d75335142c91ee1c18b91afc8b0c922d0935","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-10T03:14:57.517544Z","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:00130ebcaf4c8c747692e0ca0e406ea389f6496bfc0e21cfd2b6c31377cbe639","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-10T03:14:57.517544Z","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:ba23a2132436015a9fceb2d734af346045367d22cecf68992c06c996776b041c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:cd6908d8335edadf0115d861d5f18d72aeaaf605a0aa007ded50acf5675fb40d","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-10T03:14:57.517544Z","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:1dc8084e72d05d2e305e8192203dfce284c278edb54c452e5128598ab554c75f","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:8a402a031300bdfdcfbb90aff98f4f9456939aaad49be8d74f90b551f505ef08","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:936731c18ae2db3e710ceadf9607d6e8d52acdf8982a53520e9a0a917973514c","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-10T03:14:57.517544Z","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:2d2c5fe208a8e2d19389b89d69e785c339a92a07536f754d50593586d5201ff0","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:d061ccba6e82ba5764e21e06c0fb7280b23077fd791b1cae144bce9b07c3163f","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-13T20:39:09.584819Z","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-10T03:14:57.517544Z","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:4520343ff03eb63eecc7a439977fc9358eac1a581d883e9f70852c0bbdd300d6","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-10T03:14:57.517544Z","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:d8daf3f44abf7457a1d267bf7242178acf5aea344da7e090c5f396d0a7d967bc","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:4a74b63fbced00e959238188c37426775625287349100ff0bd8f7a256a753411","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:d86d4d5801dfd50ef9ae25599d37fb15a889c85a86cc20b05d600ee8349581cd","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:a59e0c8ad1b624db57781be1ee2713e3fc7f7f2e617d56c11e848d5c18439505","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-14T10:01:52.320701Z","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-10T03:14:57.517544Z","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:6eed0c215403868f4d4a2928d49205521a2d29e659e9416f1c0cb25463b05794","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-10T03:14:57.517544Z","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:1701f522f423e7fa86e26fc46103825a4d59f454dc9b8a76eeb421a9c5b614e2","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-10T03:14:57.517544Z","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:77de1ff2ae6b9fc2ad24bf90a9d6f1cb37ba59b7a0d0ef51e3a8701849f67b8c","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:22585d65d55b8aa10cfd1a53dc3d8147c7a45ab219b72a9f33ca7364f87464bd","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:6668a5c7462f45e91d06d5c28b248988a7b7c2fe8e88e6b21573f212e09ebced","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-14T06:32:32.682623+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+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-10T03:14:57.517544Z","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:2a11e806e1d1797fea9aaa67da47997f752d2f701382f1853cab4f5ee1da6a5c","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-10T03:14:57.517544Z","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-14T06:32:32.682623+00:00","source":"crossref"},{"observed_at":"2026-08-14T06:32:18.44784+00:00","source":"retraction_watch"}],"thesis":"As of 15 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 1 inbound Pith citation observation for arXiv:2507.10635."}