Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-21T23:01:32.436890Z
Paper Citation Record · LEDGER
Quantum algorithms for equational reasoning
As of 7 August 2026, this Paper Citation Record lists 100 of 104 outbound references and 1 inbound Pith citation observation for arXiv:2508.21122.
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-07T06:34:17.273281+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-03T14:24:36.158938Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
100 of 104 outbound references displayed
- verified exact12
- verified fuzzy80
- unresolved7
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 570cde64-6a45-4f1a-b1f3-b3aaa841d012 · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 1
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.438093Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4d187ae1-6324-428b-aa73-18d1f784f347 · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.431741Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4ab9b5fb-ca62-438b-9f88-66beeed6b58f · outbound
This paper cites Equations and rewrite rules: A survey.
Quantum algorithms for equational reasoning Equations and rewrite rules: A survey
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.412078Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e7856af7-bd97-4122-8815-34a7856695e3 · outbound
This paper cites Equational reasoning and term rewriting systems.
Quantum algorithms for equational reasoning Equational reasoning and term rewriting systems
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.423162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ac40ca48-cc0d-4201-b8b0-1fe09f6d4081 · outbound
This paper cites Sims,Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applica- tions (Cambridge University Press, 1994).
Quantum algorithms for equational reasoning Sims,Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applica- tions (Cambridge University Press, 1994)
Reference 5
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.417269Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 612de5e9-1f69-4793-a9ef-ca74f7ac3e33 · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.414547Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 29b8cd1e-8e1e-45f3-8e36-c25c7785adb9 · outbound
This paper cites Refutational theorem proving using term- rewriting systems.
Quantum algorithms for equational reasoning Refutational theorem proving using term- rewriting systems
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.406291Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 97fcbd4f-2a0b-4ff4-ab6d-cc34370f998f · outbound
This paper cites A complete equa- tional theory for quantum circuits.
Quantum algorithms for equational reasoning A complete equa- tional theory for quantum circuits
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.397341Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a0ce7539-4896-4041-ab26-89309aaadfd9 · outbound
This paper cites Minimal equational theories for quantum circuits.
Quantum algorithms for equational reasoning Minimal equational theories for quantum circuits
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.390794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d0ce633c-36f4-4061-bbc6-de7892d2198b · outbound
This paper cites Rapid solution of logi- cal equivalence problems by quantum computation al- gorithm.
Quantum algorithms for equational reasoning Rapid solution of logi- cal equivalence problems by quantum computation al- gorithm
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.365134Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6f4a62b7-830a-4266-bc72-5b097ee17a2c · outbound
This paper cites Equivalence checking of reversible circuits.
Quantum algorithms for equational reasoning Equivalence checking of reversible circuits
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.371310Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8682ebab-f1e4-44d8-94f9-211a93316512 · outbound
This paper cites Advanced equiva- lencecheckingforquantumcircuits.
Quantum algorithms for equational reasoning Advanced equiva- lencecheckingforquantumcircuits
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.362259Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 8e68e338-f12c-4e3b-8712-19881f4cf03e · outbound
This paper cites Equivalence checking of quantum circuits with the zx- calculus.
Quantum algorithms for equational reasoning Equivalence checking of quantum circuits with the zx- calculus
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.391854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 665d53a5-e130-4bb5-bb47-7a1d5c5d5e35 · outbound
This paper cites Computational capabilities and com- piler development for neutral atom quantum proces- sors—connecting tool developers and hardware ex- perts.
Quantum algorithms for equational reasoning Computational capabilities and com- piler development for neutral atom quantum proces- sors—connecting tool developers and hardware ex- perts
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.415222Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ced04d7a-fabf-4287-9bec-c500975d0f49 · outbound
This paper cites Quantum cir- cuit compilation with quantum computers.
Quantum algorithms for equational reasoning Quantum cir- cuit compilation with quantum computers
Reference 15
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T23:04:25.723118Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d3021e12-6052-4ff2-b9fe-9314b4790397 · outbound
This paper cites Scalable Pattern Matching in Computation Graphs.
Quantum algorithms for equational reasoning Scalable Pattern Matching in Computation Graphs
Reference 16
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T23:04:25.714457Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 08deb679-58fe-41fe-95d0-83c4ddf0418c · outbound
This paper cites t|ket〉: a retargetable compiler for NISQ devices.
Quantum algorithms for equational reasoning t|ket〉: a retargetable compiler for NISQ devices
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.361645Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 3e33e56d-14a1-4742-91f0-88c2111fb5c3 · outbound
This paper cites Quan- tum circuit transformation based on simulated an- nealing and heuristic search.
Quantum algorithms for equational reasoning Quan- tum circuit transformation based on simulated an- nealing and heuristic search
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.409902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 52ff00d4-ec67-4f17-a036-53f90b203339 · outbound
This paper cites Quantum circuit optimization with deep reinforcement learning.
Quantum algorithms for equational reasoning Quantum circuit optimization with deep reinforcement learning
Reference 19
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T23:04:25.727663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5bf3d5d7-e6f9-41df-bab4-cee6380efbf4 · outbound
This paper cites Optimal compilation of parametrised quantum circuits.
Quantum algorithms for equational reasoning Optimal compilation of parametrised quantum circuits
Reference 20
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T23:04:25.718802Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 241b67f6-ccc4-4603-8b3b-923d0a0b47f3 · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 21
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.400458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f2fbdb17-f2bb-4836-ae64-32f591623859 · outbound
This paper cites Hopcroft, Rajeev Motwani, and Jeffrey D.
Quantum algorithms for equational reasoning Hopcroft, Rajeev Motwani, and Jeffrey D
Reference 22
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.397046Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 553453d4-df47-49db-950e-d9c33eff35e8 · outbound
This paper cites Natural lan- guagesandcontext-freelanguages.
Quantum algorithms for equational reasoning Natural lan- guagesandcontext-freelanguages
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.343972Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7695e28f-a44a-442e-aef7-47cabdca648a · outbound
This paper cites Aho, Monica S.
Quantum algorithms for equational reasoning Aho, Monica S
Reference 24
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.387637Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d6d475fd-88e1-496c-a41f-db6e202034b1 · outbound
This paper cites Grammar-based codes: a new class of universal lossless source codes.
Quantum algorithms for equational reasoning Grammar-based codes: a new class of universal lossless source codes
Reference 25
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.366074Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1eafc0a0-0d96-4f7c-8c27-19dc2b5433f3 · outbound
This paper cites The language of genes.
Quantum algorithms for equational reasoning The language of genes
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.349373Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d7683b21-18b6-4b6a-be35-c2ac7a8763ff · outbound
This paper cites A primer in macromolecular linguis- tics.
Quantum algorithms for equational reasoning A primer in macromolecular linguis- tics
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.384791Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4fef3222-c638-4fe0-95aa-0df894448ae1 · outbound
This paper cites Enumeration of Hamiltonian circuits in rectangular grids.
Quantum algorithms for equational reasoning Enumeration of Hamiltonian circuits in rectangular grids
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.381712Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1d86cba0-65dc-44df-b58c-2e318bfb32bc · outbound
This paper cites The word problem.
Quantum algorithms for equational reasoning The word problem
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.394588Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2c4b5a18-509b-4446-a21c-ffae46d8d440 · outbound
This paper cites The word problem.
Quantum algorithms for equational reasoning The word problem
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.358585Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 07db05b8-e982-463e-8d70-3dd9800c91f8 · outbound
This paper cites The equivalence problem for deterministic pushdown automata is decidable.
Quantum algorithms for equational reasoning The equivalence problem for deterministic pushdown automata is decidable
Reference 31
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.567155Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f6696cae-d449-49e2-b541-88e9bb464070 · outbound
This paper cites Enumeration of Hamiltonian cycles in some grid graphs.
Quantum algorithms for equational reasoning Enumeration of Hamiltonian cycles in some grid graphs
Reference 32
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.608528Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 08734e23-25e5-46a5-a1a0-42472186bc29 · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 33
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.598581Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 254b5ecf-a5bc-42ba-9a31-16d5e0b63a5d · outbound
This paper cites Simulating physics with cellular automata.
Quantum algorithms for equational reasoning Simulating physics with cellular automata
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.505087Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 89072baf-9d4d-46a3-afa2-cb44554226c0 · outbound
This paper cites Determinants of ge- netic diversity.
Quantum algorithms for equational reasoning Determinants of ge- netic diversity
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.539321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 76e638c9-3b1b-479d-8464-c32ea31bcea8 · outbound
This paper cites Entropy and information ap- proaches to genetic diversity and its expression: Ge- nomic geography.
Quantum algorithms for equational reasoning Entropy and information ap- proaches to genetic diversity and its expression: Ge- nomic geography
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.545303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9ee5ec69-90f0-4c61-84b4-a0061bf0e30c · outbound
This paper cites Recursive unsolvability of a problem of thue.
Quantum algorithms for equational reasoning Recursive unsolvability of a problem of thue
Reference 37
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.574060Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 40051985-fdba-4c1e-901b-c0eae3067a54 · outbound
This paper cites Algorithmic unsolvability of the word problem in group theory.
Quantum algorithms for equational reasoning Algorithmic unsolvability of the word problem in group theory
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.542321Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 044fb70c-6638-414a-bfaa-72ad539a8eb1 · outbound
This paper cites Nielsen and Isaac L.
Quantum algorithms for equational reasoning Nielsen and Isaac L
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.507795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 01c04e22-5c31-4138-960a-4c599cae0e39 · outbound
This paper cites Quantum computers.
Quantum algorithms for equational reasoning Quantum computers
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.555574Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1cf55b37-721b-466b-aaa0-160ef8faf418 · outbound
This paper cites Quantum algorithms: an overview.
Quantum algorithms for equational reasoning Quantum algorithms: an overview
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.585893Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a56a0d30-9e40-4f51-a28f-39499dc3b000 · outbound
This paper cites Simple word problems in universal algebras.
Quantum algorithms for equational reasoning Simple word problems in universal algebras
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.536950Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2f480927-14e6-44f0-887b-f1aea241837b · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 43
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.504609Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 1f9fddfb-7eb0-4e25-87a6-b9da3a1f5d7d · outbound
This paper cites Quantum annealing in the transverse Ising model.
Quantum algorithms for equational reasoning Quantum annealing in the transverse Ising model
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.517168Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation fa24a987-9de1-44c5-a48a-6e1f73cedb17 · outbound
This paper cites A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem.
Quantum algorithms for equational reasoning A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.595515Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 69a9a4f0-70c0-4678-b6ca-248abcaecc00 · outbound
This paper cites Theory of quantum annealing of an Ising spin glass.
Quantum algorithms for equational reasoning Theory of quantum annealing of an Ising spin glass
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.502370Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ab9894bb-3baa-491d-b346-dab17f129300 · outbound
This paper cites Per- spectives of quantum annealing: methods and imple- mentations.
Quantum algorithms for equational reasoning Per- spectives of quantum annealing: methods and imple- mentations
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.533752Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 16ad0453-c813-40c6-aa7e-5e746587163e · outbound
This paper cites Adiabatic quan- tum computation.
Quantum algorithms for equational reasoning Adiabatic quan- tum computation
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.569999Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7335bf55-d552-4559-9d81-4aec6bf2a19b · outbound
This paper cites Quantum Computation by Adiabatic Evolution.
Quantum algorithms for equational reasoning Quantum Computation by Adiabatic Evolution
Reference 49
- Resolution
- verified exact
- local_arxiv, observed 2026-05-21T23:04:25.709667Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 61f2cf37-9b0a-4c83-9723-3f5b303a4445 · outbound
This paper cites Quantum optimal con- trol theory.
Quantum algorithms for equational reasoning Quantum optimal con- trol theory
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.577232Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c4da278e-f280-4449-ae45-ad7a64be7ad9 · outbound
This paper cites Control of quantum phenomena: past, present and future.
Quantum algorithms for equational reasoning Control of quantum phenomena: past, present and future
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.566612Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9105dde6-d043-412c-b416-ecd95a40f35f · outbound
This paper cites Quantum control theory and applications: a survey.
Quantum algorithms for equational reasoning Quantum control theory and applications: a survey
Reference 52
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.614736Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6be052c9-b73d-41b2-88d1-65e55b15deef · outbound
This paper cites Optimal control technique for many-body quantum dynamics.
Quantum algorithms for equational reasoning Optimal control technique for many-body quantum dynamics
Reference 53
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.563068Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 390b453a-6d9d-4f47-977a-853285e55542 · outbound
This paper cites Chopped random-basis quantum opti- mization.
Quantum algorithms for equational reasoning Chopped random-basis quantum opti- mization
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.557416Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4bcf6ddc-6d58-4213-a03a-25f0f709fb61 · outbound
This paper cites Information theoretical analysis of quantum optimal control.
Quantum algorithms for equational reasoning Information theoretical analysis of quantum optimal control
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.578290Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0ebcb69e-bc0b-43ab-9307-5ab5f12ebfa3 · outbound
This paper cites Quantum optimal control in quantum technolo- gies. strategic report on current status, visions and goals for research in europe.
Quantum algorithms for equational reasoning Quantum optimal control in quantum technolo- gies. strategic report on current status, visions and goals for research in europe
Reference 56
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.491536Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 605aadb5-5706-4ad4-af6d-bc0f6495d2de · outbound
This paper cites A Quantum Approximate Optimization Algorithm.
Quantum algorithms for equational reasoning A Quantum Approximate Optimization Algorithm
Reference 57
- Resolution
- verified exact
- local_arxiv, observed 2026-05-21T23:04:25.705820Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 7a55e4e4-a1f5-463c-95aa-1925869d2058 · outbound
This paper cites Quantumapproximateoptimization algorithm for maxcut: A fermionic view.
Quantum algorithms for equational reasoning Quantumapproximateoptimization algorithm for maxcut: A fermionic view
Reference 58
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.525530Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 771662a0-c5ce-482e-8f69-cf1e97fb76b9 · outbound
This paper cites Quantum Supremacy through the Quantum Approximate Optimization Algorithm.
Quantum algorithms for equational reasoning Quantum Supremacy through the Quantum Approximate Optimization Algorithm
Reference 59
- Resolution
- verified exact
- arxiv_id, observed 2026-05-21T23:04:25.691299Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0de90ce7-ad96-4597-adfd-ffa3cad12190 · outbound
This paper cites Quantum approximate optimization algorithm: Performance, mechanism, and implementationonnear-termdevices.
Quantum algorithms for equational reasoning Quantum approximate optimization algorithm: Performance, mechanism, and implementationonnear-termdevices
Reference 60
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.519838Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 374bbfbf-27bd-4add-bb4c-02b39389deaf · outbound
This paper cites A review on quantum approximate optimiza- tion algorithm and its variants.
Quantum algorithms for equational reasoning A review on quantum approximate optimiza- tion algorithm and its variants
Reference 61
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.444734Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b2a7bac1-b519-4d01-944c-be202696673e · outbound
This paper cites Variational ansatz- based quantum simulation of imaginary time evolution.
Quantum algorithms for equational reasoning Variational ansatz- based quantum simulation of imaginary time evolution
Reference 62
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.467915Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f01faf66-0aaf-4f01-91dc-295abe04eb0a · outbound
This paper cites Determining eigenstates and thermal states on a quan- tum computer using quantum imaginary time evolu- tion.
Quantum algorithms for equational reasoning Determining eigenstates and thermal states on a quan- tum computer using quantum imaginary time evolu- tion
Reference 63
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.434653Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation ac301511-0d22-4a91-a057-c2644931310d · outbound
This paper cites Digital quantum simulation of open quantum systems using quantum imaginary–time evolu- tion.
Quantum algorithms for equational reasoning Digital quantum simulation of open quantum systems using quantum imaginary–time evolu- tion
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.454023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e3b18de5-2f49-42ad-97ba-20b8f6b24220 · outbound
This paper cites Challenges and opportunities in quantum optimization.
Quantum algorithms for equational reasoning Challenges and opportunities in quantum optimization
Reference 65
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.441655Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation f2288d1a-94b6-4138-a3d4-058e0bc0636f · outbound
This paper cites Quantum fingerprinting.
Quantum algorithms for equational reasoning Quantum fingerprinting
Reference 66
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.422836Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation d599b517-9ee3-467b-a2fe-7089bc1fa770 · outbound
This paper cites Unifying time evolution and optimization with matrix product states.
Quantum algorithms for equational reasoning Unifying time evolution and optimization with matrix product states
Reference 67
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.589001Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 28e0a94b-c474-467c-b9d8-32d7f88baae3 · outbound
This paper cites The density-matrix renormalization group.
Quantum algorithms for equational reasoning The density-matrix renormalization group
Reference 68
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.464019Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 267f4765-0fea-4df1-80df-d70670a497f3 · outbound
This paper cites The density-matrix renormalization group in the age of matrix product states.
Quantum algorithms for equational reasoning The density-matrix renormalization group in the age of matrix product states
Reference 69
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.450414Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b5ec5d18-7e5d-4566-a129-954cae7c63d2 · outbound
This paper cites A practical introduction to tensor net- works: Matrix product states and projected entangled pair states.
Quantum algorithms for equational reasoning A practical introduction to tensor net- works: Matrix product states and projected entangled pair states
Reference 70
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.447531Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 141043b2-68eb-4b57-9499-32c752de7c3b · outbound
This paper cites Tensor network algorithms: A route map.
Quantum algorithms for equational reasoning Tensor network algorithms: A route map
Reference 71
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.438390Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 328f5048-cc25-4b19-ab9c-3cb0a5e8267c · outbound
This paper cites an unresolved cited work.
Quantum algorithms for equational reasoning Unresolved cited work
Reference 72
- Resolution
- unresolved
- raw_fallback, observed 2026-05-21T23:04:26.428270Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation b46cf920-6b3b-432c-b608-9e5646fadd58 · outbound
This paper cites The tensor networks anthology: Simulation techniques for many-body quantum lattice systems.
Quantum algorithms for equational reasoning The tensor networks anthology: Simulation techniques for many-body quantum lattice systems
Reference 73
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.417842Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 2fc7534f-6075-44ff-9e88-562e20d5ef89 · outbound
This paper cites Tensor network states and geometry.
Quantum algorithms for equational reasoning Tensor network states and geometry
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.444359Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 00422ecb-790d-49f4-a796-d837e0a6175a · outbound
This paper cites Parent Hamiltonian reconstruction via inverse quantum annealing.
Quantum algorithms for equational reasoning Parent Hamiltonian reconstruction via inverse quantum annealing
Reference 75
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.582206Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 77fbc1f3-192e-4193-96e3-d986b9a447a7 · outbound
This paper cites Entanglement-guided search for parent Hamiltonians.
Quantum algorithms for equational reasoning Entanglement-guided search for parent Hamiltonians
Reference 76
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.425596Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a01e11d1-1759-475a-bf07-7174a3926d6f · outbound
This paper cites Frustration free gapless Hamiltonians for matrix product states.
Quantum algorithms for equational reasoning Frustration free gapless Hamiltonians for matrix product states
Reference 77
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.379007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4fcf4647-5dd1-4853-853a-b8d6c2b13fc8 · outbound
This paper cites Shortcuts to adiabaticity.
Quantum algorithms for equational reasoning Shortcuts to adiabaticity
Reference 78
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.406795Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0e06eac6-47fa-4d7d-9432-c9ad339564d8 · outbound
This paper cites Shortcuts to adiabaticity by coun- terdiabatic driving.
Quantum algorithms for equational reasoning Shortcuts to adiabaticity by coun- terdiabatic driving
Reference 79
- Resolution
- verified exact
- doi, observed 2026-05-21T23:04:25.500924Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation a550b9a6-4337-4aa0-86ce-b5645cdce616 · outbound
This paper cites Shortcuts to adiabaticity: Concepts, methods, and appli- cations.
Quantum algorithms for equational reasoning Shortcuts to adiabaticity: Concepts, methods, and appli- cations
Reference 80
- Resolution
- verified exact
- doi, observed 2026-05-21T23:04:25.509375Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 111f1464-f5b3-4fcb-b0d3-1ee939855e5a · outbound
This paper cites Quantum annealing speedup over simulated annealing on random Isig chains.
Quantum algorithms for equational reasoning Quantum annealing speedup over simulated annealing on random Isig chains
Reference 81
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.559045Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 06602281-78de-4c25-8d9c-3d30e07b6612 · outbound
This paper cites Quantum annealing with manufactured spins.
Quantum algorithms for equational reasoning Quantum annealing with manufactured spins
Reference 82
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.430969Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4c4719e6-c25a-4e16-8471-3de53a17a7b1 · outbound
This paper cites Digitized adiabatic quantum computing with a superconducting circuit.
Quantum algorithms for equational reasoning Digitized adiabatic quantum computing with a superconducting circuit
Reference 83
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.460926Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 63d5573d-1914-493f-aedf-6a2f04773efa · outbound
This paper cites Measuring entanglement entropy in a quantum many-body system.
Quantum algorithms for equational reasoning Measuring entanglement entropy in a quantum many-body system
Reference 84
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.457697Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 917958c7-a4cd-4863-b8d3-f51dd5e3ab2f · outbound
This paper cites An area law for one-dimensional quan- tum systems.
Quantum algorithms for equational reasoning An area law for one-dimensional quan- tum systems
Reference 85
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.569533Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bddba62b-0717-4c10-9250-96b36751a1dd · outbound
This paper cites Colloquium: Area laws for the entanglement entropy.
Quantum algorithms for equational reasoning Colloquium: Area laws for the entanglement entropy
Reference 86
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.572151Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation c3aec039-031c-447e-9461-2bc47a47d3da · outbound
This paper cites Optimal sampling of tensor networks targeting wave function’s fast decaying tails.
Quantum algorithms for equational reasoning Optimal sampling of tensor networks targeting wave function’s fast decaying tails
Reference 87
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.542920Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 4060f155-fd8b-4396-a700-806571da220b · outbound
This paper cites Critical behavior in physics and probabilistic formal languages.
Quantum algorithms for equational reasoning Critical behavior in physics and probabilistic formal languages
Reference 88
- Resolution
- verified exact
- doi, observed 2026-05-21T23:04:25.506229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 5feb4cac-ba33-4157-ba2c-8901d11aa81b · outbound
This paper cites Tensor networks and efficient de- scriptions of classical data.
Quantum algorithms for equational reasoning Tensor networks and efficient de- scriptions of classical data
Reference 89
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.554330Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 547b8a10-9e00-4a7c-9627-37301fcca087 · outbound
This paper cites Language design as information renormalization.
Quantum algorithms for equational reasoning Language design as information renormalization
Reference 90
- Resolution
- verified exact
- doi, observed 2026-05-21T23:04:25.503570Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 58d2827e-60d6-405f-b582-51f4c29cd9cf · outbound
This paper cites Classical simula- tion of quantum many-body systems with a tree tensor network.
Quantum algorithms for equational reasoning Classical simula- tion of quantum many-body systems with a tree tensor network
Reference 91
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.611696Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation e3f29166-400e-4bf5-9b62-610ed83a48d7 · outbound
This paper cites Homogeneous binary trees as ground states of quantum critical Hamiltonians.
Quantum algorithms for equational reasoning Homogeneous binary trees as ground states of quantum critical Hamiltonians
Reference 92
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.605368Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 55a18624-1b43-45a0-87c3-8b46db20db12 · outbound
This paper cites Unconstrainedtreetensornetwork: An adaptive gauge picture for enhanced performance.
Quantum algorithms for equational reasoning Unconstrainedtreetensornetwork: An adaptive gauge picture for enhanced performance
Reference 93
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.529256Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 9b03f90c-c339-48a4-8466-a958e9c42599 · outbound
This paper cites Quantum tea: qtealeaves.
Quantum algorithms for equational reasoning Quantum tea: qtealeaves
Reference 94
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.592238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 6a21d2ae-63fd-462b-8743-e54aacb4f9ef · outbound
This paper cites Cormen, Charles E.
Quantum algorithms for equational reasoning Cormen, Charles E
Reference 95
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.582239Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 0b54cc48-721b-4f0e-87fd-535df5dbb954 · outbound
This paper cites Quantum Language Processing.
Quantum algorithms for equational reasoning Quantum Language Processing
Reference 96
- Resolution
- verified exact
- local_arxiv, observed 2026-05-21T23:04:25.696458Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 86c1d422-667b-4268-95ae-ee6e939b57f9 · outbound
This paper cites Foundations for Near-Term Quantum Natural Language Processing.
Quantum algorithms for equational reasoning Foundations for Near-Term Quantum Natural Language Processing
Reference 97
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-05-21T23:04:25.701204Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 099c430b-943f-4bb3-81c1-922ab17ff239 · outbound
This paper cites Quantum natural language processing: Chal- lenges and opportunities.
Quantum algorithms for equational reasoning Quantum natural language processing: Chal- lenges and opportunities
Reference 98
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.551669Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation 45e50894-640b-41a4-9b1d-088279b2bc7a · outbound
This paper cites The dawn of quantum natural language processing.
Quantum algorithms for equational reasoning The dawn of quantum natural language processing
Reference 99
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.574992Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Observation bfef9402-3fae-4645-b1dd-3245bdee32e6 · outbound
This paper cites Elementary gates for quantum computation.
Quantum algorithms for equational reasoning Elementary gates for quantum computation
Reference 100
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-21T23:04:26.403941Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.
Pith citing papers
Observation 7eaeb465-06a3-45d7-bcfd-bc67ecfd5f47 · inbound
Variational matrix product states for combinatorial optimization cites this paper.
Variational matrix product states for combinatorial optimization Quantum algorithms for equational reasoning
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-03T14:24:36.158938Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.