Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-06T17:43:23.332157Z
Paper Citation Record · LEDGER
Formal Verification of Variational Quantum Circuits
As of 17 August 2026, this Paper Citation Record lists 76 of 76 outbound references and 1 inbound Pith citation observation for arXiv:2507.10635.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-17T06:30:58.91139+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-05-09T19:34:11.133580Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-05-11T15:36:09.174583Z
Reference resolution
76 of 76 outbound references displayed
- verified exact11
- verified fuzzy2
- unresolved57
- parse uncertain0
- malformed identifier6
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 2eb5779a-4f3e-4699-80fc-79362e7068d2 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 1
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T17:43:32.778250Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7d4f9593-d59b-4bb4-837b-37f06334b7fc · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:32.512622Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 33253e67-40b5-4a23-8a73-4aeb77a52a77 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:32.256013Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 62b00843-980a-4a63-8903-e62ddfffe179 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.220556Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9674301c-19b6-4c28-a5bb-3526f4b691bc · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 5
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:25.278952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4d170da3-06dd-4d3c-9796-8b6d573cd5a2 · outbound
This paper cites Bennett, Richard Cleve, David P.
Formal Verification of Variational Quantum Circuits Bennett, Richard Cleve, David P
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.355712Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2184f9a9-cc6b-4754-9327-59e0bd7ef746 · outbound
This paper cites PennyLane: Automatic differentiation of hybrid quantum-classical computations.
Formal Verification of Variational Quantum Circuits PennyLane: Automatic differentiation of hybrid quantum-classical computations
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.386223Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1230274-fd34-44e3-bcc7-e5be3372eab1 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.440819Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0182d8b3-4e7e-41e8-b865-fa080d521606 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.492431Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ef64bab2-72f3-41c4-b338-67b48500157d · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 10
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T17:43:16.537656Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 398dc4ba-6e3d-479a-bf56-c6bab414b310 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.600038Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0556517a-f38d-4220-bec7-2f5ce0968e82 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.954393Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation dd77c603-d9c8-4e06-8775-95a93f7a4ca2 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.718711Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 616e1492-b347-4268-90d7-473d9f892b14 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.507683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a46ec113-c2c4-4dee-9653-9a9ae9b022ec · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 15
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.798670Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 377b4827-cb09-444b-94ab-0e5c5eb9f5ff · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 16
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:25.025086Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 99ceb601-8933-4039-8b60-ac30a5be1535 · outbound
This paper cites Interacting Quantum Observables: Categorical Algebra and Diagrammatics.
Formal Verification of Variational Quantum Circuits Interacting Quantum Observables: Categorical Algebra and Diagrammatics
Reference 17
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T17:43:26.407997Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 632528a1-8e56-45ef-a2a5-00156029b3d2 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 18
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:24.785167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 4236f01d-4df8-4a6f-8d84-16c77a3cddcf · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:16.977251Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c5734822-9ef1-461a-81e9-93201537c24f · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 20
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:17.008905Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 510e4e95-5e13-468b-bf41-602687e1ecf1 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.348904Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 514ef879-7c15-435a-afbc-8d3a3c68ce6d · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:24.311754Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c46759b4-aa63-4819-bbc9-61bce49c42fe · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 23
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:17.231461Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 344861cc-56bd-4dd8-bd20-41fdb238c19a · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 24
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.211864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 54bd666d-4946-41cf-ae1a-8dc7e9d58b9d · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:31.047109Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e5f4ea9e-ad29-4eb2-bd21-74fa0e051d21 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:17.388137Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 455566b4-681a-4b62-95ca-b84811ec0647 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 27
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:24.125892Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a3c9ffa9-6071-4d1c-a84b-f14d92cec081 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 28
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:30.729172Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 5ee1a55f-c90a-4a26-b60c-a28d202d83e2 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 29
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:30.391259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f6e0d4b3-90e2-4c97-bd04-045d4c8fd778 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:17.771749Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 00f0c97f-faa5-4a68-bf32-ead270170308 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 31
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:23.848680Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 8e4e41cd-f18f-42b4-8558-259494debfd6 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:17.997111Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 43a62ef2-d4de-493d-aa8f-70c2ccf91320 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 33
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T17:43:18.060858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9c58b894-a061-42c0-9e93-678c90f6f262 · outbound
This paper cites Supervised learning with quantum enhanced feature spaces.
Formal Verification of Variational Quantum Circuits Supervised learning with quantum enhanced feature spaces
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:18.183293Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 4b70c858-fd74-4c05-b6cd-5c8266310d6b · outbound
This paper cites Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism.
Formal Verification of Variational Quantum Circuits Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism
Reference 35
- Resolution
- verified exact
- local_arxiv, observed 2026-08-06T17:43:25.784174Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f3a04b3f-0e54-4949-b379-cddd53dbb6f4 · outbound
This paper cites Post-variational quantum neural networks.
Formal Verification of Variational Quantum Circuits Post-variational quantum neural networks
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:18.414206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9dc53f11-86ae-4451-98c9-1cdfbc2f9718 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 37
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:30.115427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 7286f0dc-1830-46ae-9070-edf1b66e694b · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 38
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:29.770057Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation a26e04a0-517b-4658-b1a4-e9353ce8b433 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 39
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:29.527626Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 802b3fef-5f5e-4d29-be41-738f097d0835 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 40
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:29.243982Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation db256254-fb00-41aa-ba0e-27acd58e2587 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 41
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:29.150126Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 2b78e3c1-6979-4d3f-bba1-2f0e2fd6c75a · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 42
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:28.975913Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 112b9902-5837-4161-b494-85227cbde5ca · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 43
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:28.860566Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 213804c0-d758-4967-a2d5-0d20c4ba1969 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 44
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:28.714608Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 0aef3376-3c28-4186-aaec-d923873e0fa3 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 45
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:23.622349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation c2c7e3f5-21d0-4793-b4c6-2137dbfb718a · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 46
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:28.575165Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 77c16d13-e838-4c5a-88ce-20411ece7a80 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:19.683638Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 69a549c6-dfe1-4b6e-8034-24c35318457e · outbound
This paper cites Variational Quanvolutional Neural Networks with enhanced image encoding.
Formal Verification of Variational Quantum Circuits Variational Quanvolutional Neural Networks with enhanced image encoding
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:19.870118Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 005b7141-ac1c-4adc-947d-5ad7be5c5bde · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 49
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:28.456855Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e1f3d15e-3e76-4bb7-9a15-94037073d856 · outbound
This paper cites Mitarai, M.
Formal Verification of Variational Quantum Circuits Mitarai, M
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:20.203583Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd6d3780-fae9-4ab2-9632-c820a76999d0 · outbound
This paper cites Moore, R.
Formal Verification of Variational Quantum Circuits Moore, R
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:20.359470Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 423a731b-acbc-4208-b5ed-e25ebd510615 · outbound
This paper cites Transformation of quantum states using uniformly controlled rotations.
Formal Verification of Variational Quantum Circuits Transformation of quantum states using uniformly controlled rotations
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:20.559392Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1fd96888-9c98-4de8-86d4-474aab092ad5 · outbound
This paper cites Comparing Quantum Encoding Techniques.
Formal Verification of Variational Quantum Circuits Comparing Quantum Encoding Techniques
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:20.772997Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation aa4173a1-f3c5-4a49-854c-8ecdc7b34be4 · outbound
This paper cites Nielsen and Isaac L.
Formal Verification of Variational Quantum Circuits Nielsen and Isaac L
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:43:28.300331Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 345b3774-8032-4ed1-b298-df50d1da2526 · outbound
This paper cites Pedregosa, G.
Formal Verification of Variational Quantum Circuits Pedregosa, G
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:21.023861Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c98e340-cada-49f6-8e56-b045301328a6 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:21.117641Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a18feace-37ac-4e1f-9409-472460d75a10 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 57
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T17:43:21.192605Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f460f25f-6b2c-419a-a5ce-d88bc99baeaf · outbound
This paper cites Rath and H.
Formal Verification of Variational Quantum Circuits Rath and H
Reference 58
- Resolution
- malformed identifier
- no resolver link, observed 2026-08-06T17:43:21.264314Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12d5f024-4823-4555-9c64-b78bdf0e0e84 · outbound
This paper cites Quantum Mechanics and Path Integrals,.
Formal Verification of Variational Quantum Circuits Quantum Mechanics and Path Integrals,
Reference 59
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-06T17:43:28.157508Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 66c098a5-29a4-4330-804d-aee7fc1baa52 · outbound
This paper cites Svore, and Nathan Wiebe.
Formal Verification of Variational Quantum Circuits Svore, and Nathan Wiebe
Reference 60
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:21.409922Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b54dab64-eff2-4b14-99da-ec5d7113ce50 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 61
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:28.014948Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 54d610b1-95a2-4bbb-a5ee-40ed89d36f18 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 62
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-06T17:43:27.891448Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation f81d279c-a7ed-4360-9da1-146f778e6b96 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:21.879776Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 545a43f0-4b0d-4a3f-b5fc-e25111927e50 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 64
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:27.764885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation e8c6fb5b-6fc8-487a-8a1f-7148cb6ca73c · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 65
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:22.160101Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ea377c66-cc61-46c2-9e69-b1db3b6e4ccc · outbound
This paper cites ZX-calculus for the working quantum computer scientist.
Formal Verification of Variational Quantum Circuits ZX-calculus for the working quantum computer scientist
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:22.375516Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cf5445be-c103-4204-930e-e5e14405783a · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 67
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:27.621140Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 11c2bcb2-067b-41aa-99fc-754c236dfb2d · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 68
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:27.507606Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation b3536610-8d28-4d6e-bea7-7ea7f0be0026 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 69
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:27.353957Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 9504b614-b98f-41b4-ad7d-6ecb6d80ea71 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 70
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:27.180810Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation ae1d90d7-9770-4730-a2af-b1ac1909edcd · outbound
This paper cites Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers.
Formal Verification of Variational Quantum Circuits Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:23.040910Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation dddda504-f821-4b6e-bb9f-2e913d9ad21e · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:23.153791Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ecc61023-bd9e-492a-b78d-43873addb319 · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 73
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:26.970731Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d16d17c2-dc9c-443c-9256-084d49e8f79d · outbound
This paper cites an unresolved cited work.
Formal Verification of Variational Quantum Circuits Unresolved cited work
Reference 74
- Resolution
- unresolved
- raw_fallback, observed 2026-08-06T17:43:26.835510Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation 28377f78-043c-4b3d-974b-896b2aec2aa0 · outbound
This paper cites In Advances in Computer Science - ASIAN 2006.
Formal Verification of Variational Quantum Circuits In Advances in Computer Science - ASIAN 2006
Reference 2006
- Resolution
- verified exact
- doi, observed 2026-08-06T17:43:24.559167Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.
Observation d09c78e5-da9b-4a55-9942-f8cd2dff8e0e · outbound
This paper cites Intriguing properties of neural networks.
Formal Verification of Variational Quantum Circuits Intriguing properties of neural networks
Reference 2013
- Resolution
- unresolved
- no resolver link, observed 2026-08-06T17:43:22.279699Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
Observation c58c97fd-9777-4d75-956a-76d7c41bdca6 · inbound
Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks cites this paper.
Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks Formal Verification of Variational Quantum Circuits
Reference 14
- Resolution
- verified exact
- arxiv_id, observed 2026-05-11T15:36:09.182343Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.