{"as_of":"2026-08-07T14:09:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7dbca46fbfca52649c83cffcdc10a3c8331d2ed683a7b4412309bd37bb286bcd","coverage":[{"denominator":104,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":100,"source":"paper_references, paper_reference_links","source_observed_at":"2026-05-21T23:01:32.436890Z","state":"measured"},{"denominator":101,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":101,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-07T06:34:17.273281+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-03T14:24:36.158938Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2508.21122","snapshot_observed_at":"2026-08-03T14:24:36.158938Z","title":"Rattacaso, D","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2512.20613","last_updated":"2026-07-09T11:03:32Z","snapshot_observed_at":"2026-08-04T13:37:32.706587Z","submitted_at":"2025-12-23T18:58:35Z","title":"Variational matrix product states for combinatorial optimization","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-08-03T14:24:36.158938Z"},"links":{"cited_paper":"/paper/2508.21122","citing_paper":"/paper/2512.20613"},"observation_digest":"sha256:8d698bebf3620759a6a06c9fc72b1e20a7a2e1add5c1712807c59b0b6b54ec2e","observation_id":"7eaeb465-06a3-45d7-bcfd-bc67ecfd5f47","resolution":{"observed_at":"2026-08-03T14:24:36.158938Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2508.21122/citation-record","integrity":"/paper/2508.21122/integrity","json":"/paper/2508.21122/citation-record.json","paper":"/paper/2508.21122"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"fd2b8093-39ae-4eb5-b618-1e842b2afd2c","year":2001},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:7bf8b3a8e764233352752d47d9a2f282ed3fc8ad61792a15054151103161d080","observation_id":"570cde64-6a45-4f1a-b1f3-b3aaa841d012","resolution":{"observed_at":"2026-05-21T23:04:26.438093Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"ea1d4765-7d2c-4842-8cf1-89aff3f021a6","year":1998},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:593de6955cc4283469b20feaa730325f58915fd145b7919b5e031d22b9d82955","observation_id":"4d187ae1-6324-428b-aa73-18d1f784f347","resolution":{"observed_at":"2026-05-21T23:04:26.431741Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Equations and rewrite rules: A survey","venue":null,"work_id":"b5ff52ca-6073-4da4-8721-d697e1f12497","year":1980},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:2f3d02ab111a91f782193cbd0e3c1b8dbf54b8c44f41c81f9078b43f4fa9f800","observation_id":"4ab9b5fb-ca62-438b-9f88-66beeed6b58f","resolution":{"observed_at":"2026-05-21T23:04:26.412078Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Equational reasoning and term rewriting systems","venue":null,"work_id":"d095810d-10ac-43a7-90e7-97369c364b8b","year":1993},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:8e3f74ca4f46e5ebd030dd9d67a9bd4e2107ba8df9315dcdc209c3767eda17e1","observation_id":"e7856af7-bd97-4122-8815-34a7856695e3","resolution":{"observed_at":"2026-05-21T23:04:26.423162Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Sims,Computation with Finitely Presented Groups, Encyclopedia of Mathematics and its Applica- tions (Cambridge University Press, 1994)","venue":null,"work_id":"3895a26a-1abc-4bfc-82c3-54089da46725","year":1994},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:54ea262f77c23bb8a9f29387c6c07f2b3e9c5f5a0638776fea6c805dc2cc6567","observation_id":"ac40ca48-cc0d-4201-b8b0-1fe09f6d4081","resolution":{"observed_at":"2026-05-21T23:04:26.417269Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"b64f47f8-6d26-4765-a697-eb0a32495818","year":1997},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:b985450c798eef8130b41827cc503a7b60e5c986a7ec5258bc5ba32467ea5efa","observation_id":"612de5e9-1f69-4793-a9ef-ca74f7ac3e33","resolution":{"observed_at":"2026-05-21T23:04:26.414547Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Refutational theorem proving using term- rewriting systems","venue":null,"work_id":"dc32b31b-d920-4817-8a93-61dc597f6f38","year":1985},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:5a01af3b2dad2755fca124e18ffebe31139db98589c0cd842e199807bf5e193d","observation_id":"29b8cd1e-8e1e-45f3-8e36-c25c7785adb9","resolution":{"observed_at":"2026-05-21T23:04:26.406291Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A complete equa- tional theory for quantum circuits","venue":null,"work_id":"816e0c63-d1ef-4a07-a93e-eeacc14a179e","year":2023},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:6472901d34d0dbb87cd0c1f9c2c7da1e0a11e6f1fc229ac120decd8fd2c31e63","observation_id":"97fcbd4f-2a0b-4ff4-ab6d-cc34370f998f","resolution":{"observed_at":"2026-05-21T23:04:26.397341Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Minimal equational theories for quantum circuits","venue":null,"work_id":"b8f3738f-50db-4d13-85d8-83f6dc7ec1d6","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:2bfc52da252f0a5dbc6ddb42baf1409d3e28266d59f9bcd48df5be5ca72bc934","observation_id":"a0ce7539-4896-4041-ab26-89309aaadfd9","resolution":{"observed_at":"2026-05-21T23:04:26.390794Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Rapid solution of logi- cal equivalence problems by quantum computation al- gorithm","venue":null,"work_id":"a8fd268f-73e4-4b74-b0a7-52695c944efd","year":2023},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:1b56d52eee905147cf608fd283f987590fa29d1f0c5805c9101c6d4159bfcba3","observation_id":"d0ce633c-36f4-4061-bbc6-de7892d2198b","resolution":{"observed_at":"2026-05-21T23:04:26.365134Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Equivalence checking of reversible circuits","venue":null,"work_id":"c6219ae2-2996-434d-be7a-e3def2662421","year":2009},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:c9c955573182ed6fce6e2eb697196ab22e5353dab3bce47fc2ebe53a94147f54","observation_id":"6f4a62b7-830a-4266-bc72-5b097ee17a2c","resolution":{"observed_at":"2026-05-21T23:04:26.371310Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Advanced equiva- lencecheckingforquantumcircuits","venue":null,"work_id":"4ed96b23-5017-4ddc-8db3-bbd61ccb70ca","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:6facc5d69275b77cc9f81e0d4a6080f29782a793a0868e9e2c806752aabbdd10","observation_id":"8682ebab-f1e4-44d8-94f9-211a93316512","resolution":{"observed_at":"2026-05-21T23:04:26.362259Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Equivalence checking of quantum circuits with the zx- calculus","venue":null,"work_id":"1bf9dae9-5811-4592-b65c-291fde11e00d","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:1fd77ab7f85cde64a17ea799af37bb7e482f3b2ef4de8dfee9e60d990b2ae68d","observation_id":"8e68e338-f12c-4e3b-8712-19881f4cf03e","resolution":{"observed_at":"2026-05-21T23:04:26.391854Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Computational capabilities and com- piler development for neutral atom quantum proces- sors—connecting tool developers and hardware ex- perts","venue":null,"work_id":"13cba0ff-0097-4e2c-bea2-7d001920cbf8","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:3d4f3da0f23610cdf0b19c15c80b2000fb3a6fd4e12408f83fa4e81e097b099e","observation_id":"665d53a5-e130-4bb5-bb47-7a1d5c5d5e35","resolution":{"observed_at":"2026-05-21T23:04:26.415222Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2408.00077","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum cir- cuit compilation with quantum computers","venue":null,"work_id":"7524dba1-c071-41cb-a0e6-2eaa822693b8","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:606409cb8b7aa89cfe58909a2d343f64145e0db0312184a0bc5cf8782358eaa3","observation_id":"ced04d7a-fabf-4287-9bec-c500975d0f49","resolution":{"observed_at":"2026-05-21T23:04:25.723118Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2402.13065","last_updated":"2025-03-26T11:51:45Z","snapshot_observed_at":"2026-07-06T17:32:52.500465Z","submitted_at":"2024-02-20T15:02:24Z","title":"Scalable Pattern Matching in Computation Graphs","version":2},"cited_work":{"arxiv_id":"2402.13065","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2402.13065","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Scalable pattern matching in computation graphs","venue":null,"work_id":"4fe02746-c96d-4d99-819a-184837cfff36","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/2402.13065","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:86dbb5071cccadf01071a83572dc60bf593e5902718ce4e9b4b154af11caad89","observation_id":"d3021e12-6052-4ff2-b9fe-9314b4790397","resolution":{"observed_at":"2026-05-21T23:04:25.714457Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"t|ket〉: a retargetable compiler for NISQ devices","venue":null,"work_id":"f038759e-f494-44ba-98ed-a9e77ecb3288","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:9a49e404104cba9a8378bd2050c58d4a6ccca95b68bdee1ea565e6a85ca7a718","observation_id":"08deb679-58fe-41fe-95d0-83c4ddf0418c","resolution":{"observed_at":"2026-05-21T23:04:26.361645Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quan- tum circuit transformation based on simulated an- nealing and heuristic search","venue":null,"work_id":"ac7110c6-b6de-4ef5-bf1e-69072b1dd2bb","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:55f3f6b2ef0660b48d1f8a1911ceacc68c6d7353291ff4f0026a358408740d40","observation_id":"3e33e56d-14a1-4742-91f0-88c2111fb5c3","resolution":{"observed_at":"2026-05-21T23:04:26.409902Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2103.07585","last_updated":"2021-03-13T00:49:51Z","snapshot_observed_at":"2026-08-05T17:19:15.633918Z","submitted_at":"2021-03-13T00:49:51Z","title":"Quantum circuit optimization with deep reinforcement learning","version":1},"cited_work":{"arxiv_id":"2103.07585","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2103.07585","snapshot_observed_at":"2026-07-04T19:30:08.178618Z","title":"Quantum circuit optimization with deep reinforcement learning","venue":null,"work_id":"f8980a21-b693-416e-a633-db8063f9ae42","year":2021},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/2103.07585","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f1c27445143b69720ff17b0c2c2ac4ff5af774acbc7a0700e218e14568f4f0b6","observation_id":"52ff00d4-ec67-4f17-a036-53f90b203339","resolution":{"observed_at":"2026-05-21T23:04:25.727663Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2401.12877","last_updated":"2025-08-06T10:27:28Z","snapshot_observed_at":"2026-07-06T17:19:27.816085Z","submitted_at":"2024-01-23T16:13:20Z","title":"Optimal compilation of parametrised quantum circuits","version":5},"cited_work":{"arxiv_id":"2401.12877","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2401.12877","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Optimal compi- lation of parametrised quantum circuits","venue":null,"work_id":"b15e54c6-d6a9-49df-8234-671a00bd5503","year":2025},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/2401.12877","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:df615501357057ec822c24ae21c710a0606b4cd2da93df6f526b77aa3e7cce09","observation_id":"5bf3d5d7-e6f9-41df-bab4-cee6380efbf4","resolution":{"observed_at":"2026-05-21T23:04:25.718802Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"a6cfa736-2ec8-4482-b4a0-f92651a21a01","year":2002},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:70e45b9fefab765df714d0eede467d16c22cd79a6119c035c91c1aba2d8c3bae","observation_id":"241b67f6-ccc4-4603-8b3b-923d0a0b47f3","resolution":{"observed_at":"2026-05-21T23:04:26.400458Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Hopcroft, Rajeev Motwani, and Jeffrey D","venue":null,"work_id":"15386423-5a08-4c7f-bcf9-39234e5a443a","year":2006},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:a70ea5c3dafe8f3e093686e2d83ed40dfa20afebc39ae20097feb2e7a44a6f80","observation_id":"f2fbdb17-f2bb-4836-ae64-32f591623859","resolution":{"observed_at":"2026-05-21T23:04:26.397046Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Natural lan- guagesandcontext-freelanguages","venue":null,"work_id":"bb3f2a82-21de-4462-b5e0-47437355401f","year":1982},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:e30deb170c70ee6f32d959d8f6fde6a67b54e575dd507d970b15ef3e96301700","observation_id":"553453d4-df47-49db-950e-d9c33eff35e8","resolution":{"observed_at":"2026-05-21T23:04:26.343972Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Aho, Monica S","venue":null,"work_id":"b14ed1a2-7ccf-459f-b7ae-ffad5629a440","year":2006},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:7a967ca6881da3704556e26cf4114c5125c206f41e53870473694e8ab99391ae","observation_id":"7695e28f-a44a-442e-aef7-47cabdca648a","resolution":{"observed_at":"2026-05-21T23:04:26.387637Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Grammar-based codes: a new class of universal lossless source codes","venue":null,"work_id":"ef55f8e2-04bc-4899-b123-a1fd7dac6675","year":2000},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:4703a9dbe24844ddf49a6522d5c09c158f790e7e765af930c1c1580c376cdd88","observation_id":"d6d475fd-88e1-496c-a41f-db6e202034b1","resolution":{"observed_at":"2026-05-21T23:04:26.366074Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The language of genes","venue":null,"work_id":"7cb45c5e-e08d-40af-ad50-2dfc8cdcf44f","year":2002},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:fbc93685571b587627338dc258f1ba5a9115414a7b611fc51be78c5be3054b89","observation_id":"1eafc0a0-0d96-4f7c-8c27-19dc2b5433f3","resolution":{"observed_at":"2026-05-21T23:04:26.349373Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A primer in macromolecular linguis- tics","venue":null,"work_id":"d9dc9076-cb8e-4b37-bdab-c69c51c30bd3","year":2013},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:3509e706bc9b449f72622df4a67faab6d3077b0ae96ae2db03c37a26d7ba5226","observation_id":"d7683b21-18b6-4b6a-be35-c2ac7a8763ff","resolution":{"observed_at":"2026-05-21T23:04:26.384791Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Enumeration of Hamiltonian circuits in rectangular grids","venue":null,"work_id":"e89e484d-bff7-44fe-853d-7eb677a45093","year":1996},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:49f704ddb9bb8cde6597b625f4f4933fb629059662ecb4c30155031eacdbb8c9","observation_id":"4fef3222-c638-4fe0-95aa-0df894448ae1","resolution":{"observed_at":"2026-05-21T23:04:26.381712Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The word problem","venue":null,"work_id":"f5a37df8-e88b-465e-8a8d-136d20b765ea","year":1958},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:856b8dcacf7bf3db3423abd36bef77c48066ec5e4708f60c7aff9b0477c61472","observation_id":"1d86cba0-65dc-44df-b58c-2e318bfb32bc","resolution":{"observed_at":"2026-05-21T23:04:26.394588Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The word problem","venue":null,"work_id":"af9e7bb9-f6c8-4323-96c7-82b062162bc0","year":1963},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f97f3878933a8ba0fa3dd6192c2852bc3c17b59fb88422392c47574555e29129","observation_id":"2c4b5a18-509b-4446-a21c-ffae46d8d440","resolution":{"observed_at":"2026-05-21T23:04:26.358585Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The equivalence problem for deterministic pushdown automata is decidable","venue":null,"work_id":"bf4749d0-abe9-4817-816a-dbd2c2b8708f","year":1997},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:e8128a74bebe1f3e0ed2ca88267c1a8638a447164ffdec5443d98722c0180aa1","observation_id":"07db05b8-e982-463e-8d70-3dd9800c91f8","resolution":{"observed_at":"2026-05-21T23:04:26.567155Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Enumeration of Hamiltonian cycles in some grid graphs","venue":null,"work_id":"48717ab0-efa3-44b0-92c6-266c79bb97e5","year":2013},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:01411ecb198cc12fb624fc2511b15c0621f5fd829e006aab73356e2b8a498018","observation_id":"f6696cae-d449-49e2-b541-88e9bb464070","resolution":{"observed_at":"2026-05-21T23:04:26.608528Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"426275c9-e56b-4f37-915b-d896b8e7b64d","year":1998},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ca8bf33bb9436f76213c943ebdeff73d538cafdf871eb50f49efd722def5fa7d","observation_id":"08734e23-25e5-46a5-a1a0-42472186bc29","resolution":{"observed_at":"2026-05-21T23:04:26.598581Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Simulating physics with cellular automata","venue":null,"work_id":"50179df8-48cf-4d49-80a9-146289ac0a2a","year":1984},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ec261995d14b922dc72de1a75ca1cc8c58a732e7478e23e42304bab4f2eba71a","observation_id":"254b5ecf-a5bc-42ba-9a31-16d5e0b63a5d","resolution":{"observed_at":"2026-05-21T23:04:26.505087Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Determinants of ge- netic diversity","venue":null,"work_id":"b5b6d580-0510-42aa-9ee8-dad6397050d8","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ff34942c60f4c12ef83da61ee882dfbd81e1047101f8bd2f080745e6a0cea5fa","observation_id":"89072baf-9d4d-46a3-afa2-cb44554226c0","resolution":{"observed_at":"2026-05-21T23:04:26.539321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Entropy and information ap- proaches to genetic diversity and its expression: Ge- nomic geography","venue":null,"work_id":"fe07d603-9115-4698-b560-d37ee2ef137e","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:9b44a433133d486890414598f4a094183969b170895aaed41cd44e2e3a80d773","observation_id":"76e638c9-3b1b-479d-8464-c32ea31bcea8","resolution":{"observed_at":"2026-05-21T23:04:26.545303Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Recursive unsolvability of a problem of thue","venue":null,"work_id":"61beb7cf-7971-411e-bc78-719df101bcae","year":1947},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:5cf471e19b427e4d80b0bdd5ddfc300b6db4d63172328bb1d810905315ed6978","observation_id":"9ee5ec69-90f0-4c61-84b4-a0061bf0e30c","resolution":{"observed_at":"2026-05-21T23:04:26.574060Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Algorithmic unsolvability of the word problem in group theory","venue":null,"work_id":"cb8cc315-3dc5-46e9-bfbd-d4c5ca50d7e2","year":1958},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:40cbaaa2dbe48363954930804b61614f3a089a25896be3bc7a7982a5c9c772ce","observation_id":"40051985-fdba-4c1e-901b-c0eae3067a54","resolution":{"observed_at":"2026-05-21T23:04:26.542321Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Nielsen and Isaac L","venue":null,"work_id":"9850a482-3529-447b-b2c2-90ff4ed6089d","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:96b4a2df91e26de3d16a3dda7d317a4ed19c24622b132723297d5ae7cd86d9c4","observation_id":"044fb70c-6638-414a-bfaa-72ad539a8eb1","resolution":{"observed_at":"2026-05-21T23:04:26.507795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum computers","venue":null,"work_id":"67c7b7cb-5375-43b8-84ec-388a5094d082","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:8ef3219600aed1ccb54ad04a832fc0b385aa11d4b6df7692557cb7134b963449","observation_id":"01c04e22-5c31-4138-960a-4c599cae0e39","resolution":{"observed_at":"2026-05-21T23:04:26.555574Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum algorithms: an overview","venue":null,"work_id":"db14ad14-3345-4c0a-9b1d-25559cdd46d9","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:db771c1aad4b753deac9bb6379a861e00564dfdad35c50d9c9f72a95659caf42","observation_id":"1cf55b37-721b-466b-aaa0-160ef8faf418","resolution":{"observed_at":"2026-05-21T23:04:26.585893Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Simple word problems in universal algebras","venue":null,"work_id":"68ccbc42-9b84-4bfd-a7bb-20a36f8b5219","year":1967},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":42,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:daeab3d3e241478fcef1cdc9f23f06a5f16ae9dd29ac2f0e9a59958da8e15a52","observation_id":"a56a0d30-9e40-4f51-a28f-39499dc3b000","resolution":{"observed_at":"2026-05-21T23:04:26.536950Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"8905b2d3-0f34-4cc0-9809-5f98610db338","year":1997},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":43,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:e5329edf121a72f2f510d96767c5b0e1ae4ca0af84644ad63f817ec3423d0881","observation_id":"2f480927-14e6-44f0-887b-f1aea241837b","resolution":{"observed_at":"2026-05-21T23:04:26.504609Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum annealing in the transverse Ising model","venue":null,"work_id":"c28080d0-a9ce-4ea7-bf87-e723ba137bf7","year":1998},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":44,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:e259e536a65cd2354f656269ecb4dc3d7478a097be58d55b8940b6fceffe9e2a","observation_id":"1f9fddfb-7eb0-4e25-87a6-b9da3a1f5d7d","resolution":{"observed_at":"2026-05-21T23:04:26.517168Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A quantum adiabatic evolution algorithm applied to random instances of an NP-complete problem","venue":null,"work_id":"bafa2c50-83b6-47d0-ae33-3fdc85e56fa0","year":2001},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":45,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:0630584adf4a5e64792761232f581be270869543e3ced811ede321204bb9205c","observation_id":"fa24a987-9de1-44c5-a48a-6e1f73cedb17","resolution":{"observed_at":"2026-05-21T23:04:26.595515Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Theory of quantum annealing of an Ising spin glass","venue":null,"work_id":"b23cebcd-8887-4bae-8b3a-62f663d83f3a","year":2002},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":46,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:a1eb40801ce7fcafe8327db0b07ef62056a405892dec33632d3a401d49200d5a","observation_id":"69a9a4f0-70c0-4678-b6ca-248abcaecc00","resolution":{"observed_at":"2026-05-21T23:04:26.502370Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Per- spectives of quantum annealing: methods and imple- mentations","venue":null,"work_id":"47370bb6-999f-442a-9c8e-8324bd35e7a9","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":47,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f96442e0e9370a8d876c84b637fe70d0a47463fcebb7278db948aed8eed6ad6a","observation_id":"ab9894bb-3baa-491d-b346-dab17f129300","resolution":{"observed_at":"2026-05-21T23:04:26.533752Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Adiabatic quan- tum computation","venue":null,"work_id":"ae1f94e0-1936-41b2-b5c6-5fe2ae92ba0c","year":2018},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":48,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ffceaa8b6090162980831096db874accc33ad2c2e93c4c94023671a81a628432","observation_id":"16ad0453-c813-40c6-aa7e-5e746587163e","resolution":{"observed_at":"2026-05-21T23:04:26.569999Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"quant-ph/0001106","last_updated":"2000-01-28T22:12:03Z","snapshot_observed_at":"2026-07-07T07:02:58.841967Z","submitted_at":"2000-01-28T22:12:03Z","title":"Quantum Computation by Adiabatic Evolution","version":1},"cited_work":{"arxiv_id":"quant-ph/0001106","doi":"10.48550/arxiv.quant-ph/0001106","metadata_source":"pith","pith_arxiv_id":"quant-ph/0001106","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Quantum Computation by Adiabatic Evolution","venue":"quant-ph","work_id":"a23b2841-cddd-4852-a591-ef0cbc86a312","year":2000},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":49,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/quant-ph/0001106","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:67505cb622e549a6c39bdfd64db986d3225a9adff834b37c71b5e317b46231ee","observation_id":"7335bf55-d552-4559-9d81-4aec6bf2a19b","resolution":{"observed_at":"2026-05-21T23:04:25.709667Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum optimal con- trol theory","venue":null,"work_id":"47907ee3-bf2a-44f5-94ef-7995361c424e","year":2007},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":50,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:a196d353b2bbcbaf5c860fd19e3f7ec8f1f235e21779e9ad028ed05bc232288f","observation_id":"61f2cf37-9b0a-4c83-9723-3f5b303a4445","resolution":{"observed_at":"2026-05-21T23:04:26.577232Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Control of quantum phenomena: past, present and future","venue":null,"work_id":"527a0a1e-8d91-43c6-8e04-86e02b895b56","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":51,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ad3fb4d572912e0eb02668927baedca4729899424d53e1d8eb3494e1be821ac9","observation_id":"c4da278e-f280-4449-ae45-ad7a64be7ad9","resolution":{"observed_at":"2026-05-21T23:04:26.566612Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum control theory and applications: a survey","venue":null,"work_id":"c86950bd-7633-434a-9512-1380aa1a3f3e","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":52,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:62a64d1b61dd5566aa53fb66d14460d8c3c29b33a7559a13ca4ef528eff3e326","observation_id":"9105dde6-d043-412c-b416-ecd95a40f35f","resolution":{"observed_at":"2026-05-21T23:04:26.614736Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Optimal control technique for many-body quantum dynamics","venue":null,"work_id":"f7f5fd66-b787-41a5-9e96-5c70997c1dec","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":53,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:46ed3ba77cd67d408ddeee5b4ee256c820296d598a523aeb5bdc190d14443de3","observation_id":"6be052c9-b73d-41b2-88d1-65e55b15deef","resolution":{"observed_at":"2026-05-21T23:04:26.563068Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Chopped random-basis quantum opti- mization","venue":null,"work_id":"bb27db42-0c13-46dc-923e-d75548eed337","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":54,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:793d42b4ccbf6469a0f29e3af1efd367d58e247a8fd803bcc36ce69608100c5a","observation_id":"390b453a-6d9d-4f47-977a-853285e55542","resolution":{"observed_at":"2026-05-21T23:04:26.557416Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Information theoretical analysis of quantum optimal control","venue":null,"work_id":"ee98392f-0c2f-47c9-bd8c-6a5a2500d69b","year":2014},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":55,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f7497335457f1d68646ddd1aa72d754786dd4471fc05bebc87c480be674c6f6c","observation_id":"4bcf6ddc-6d58-4213-a03a-25f0f709fb61","resolution":{"observed_at":"2026-05-21T23:04:26.578290Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum optimal control in quantum technolo- gies. strategic report on current status, visions and goals for research in europe","venue":null,"work_id":"e9ba8afa-cb9e-4172-b4a4-d8fe395cf2ae","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":56,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:61fb7be39ee050f874191c62be0469a917cc287db48fba4ff76c5cd5bbb76dcc","observation_id":"0ebcb69e-bc0b-43ab-9307-5ab5f12ebfa3","resolution":{"observed_at":"2026-05-21T23:04:26.491536Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1411.4028","last_updated":"2014-11-14T19:57:57Z","snapshot_observed_at":"2026-07-06T04:00:38.324755Z","submitted_at":"2014-11-14T19:57:57Z","title":"A Quantum Approximate Optimization Algorithm","version":1},"cited_work":{"arxiv_id":"1411.4028","doi":"10.48550/arxiv.1411.4028","metadata_source":"pith","pith_arxiv_id":"1411.4028","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A Quantum Approximate Optimization Algorithm","venue":"quant-ph","work_id":"5a33d9f3-407a-4c7e-a119-ff581c66b173","year":2014},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":57,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/1411.4028","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:4b1d519bbca9520fc58740508d2cf86b3dcd88b4e18a74157dd97d0169d5f62b","observation_id":"605aadb5-5706-4ad4-af6d-bc0f6495d2de","resolution":{"observed_at":"2026-05-21T23:04:25.705820Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-03T20:38:06.090448+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T20:38:06.090448+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantumapproximateoptimization algorithm for maxcut: A fermionic view","venue":null,"work_id":"00602aef-0ec4-4acf-a9e8-68a587d35eef","year":2018},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":58,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:3ccb550908c2333bba37fe7515d5dff95dbf6f91908a440f2615d43148662839","observation_id":"7a55e4e4-a1f5-463c-95aa-1925869d2058","resolution":{"observed_at":"2026-05-21T23:04:26.525530Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1602.07674","last_updated":"2019-10-21T01:40:03Z","snapshot_observed_at":"2026-08-03T05:17:42.667684Z","submitted_at":"2016-02-24T20:57:50Z","title":"Quantum Supremacy through the Quantum Approximate Optimization Algorithm","version":2},"cited_work":{"arxiv_id":"1602.07674","doi":"10.48550/arxiv.1602.07674","metadata_source":"arxiv_reference","pith_arxiv_id":"1602.07674","snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Quantum supremacy through the quantum approx- imate optimization algorithm","venue":"arXiv (Cornell University)","work_id":"382954e1-961b-418f-a905-be9a72b4f166","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":59,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/1602.07674","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:19dd800b2bb0c5028fdc1cc020f4c20916425444cbb5c8363c2f81d0102ee2bb","observation_id":"771662a0-c5ce-482e-8f69-cf1e97fb76b9","resolution":{"observed_at":"2026-05-21T23:04:25.691299Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-03T20:38:07.962851+00:00","source":"crossref_status_cache"},{"observed_at":"2026-08-03T20:38:07.962851+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum approximate optimization algorithm: Performance, mechanism, and implementationonnear-termdevices","venue":null,"work_id":"149c46b1-7313-409e-866f-2e9741336aa7","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":60,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:acc914dcc637433cdddeab2a7fa50f39bb1349338abe09dc0d3940890e8e71a1","observation_id":"0de90ce7-ad96-4597-adfd-ffa3cad12190","resolution":{"observed_at":"2026-05-21T23:04:26.519838Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A review on quantum approximate optimiza- tion algorithm and its variants","venue":null,"work_id":"a1b013e6-3b1e-4504-adbd-9dc7af9d92dd","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":61,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:713b52df94aeaeb49e8ee63a111e77505dd5ba128cd5fc3d6a4c81480ceb1532","observation_id":"374bbfbf-27bd-4add-bb4c-02b39389deaf","resolution":{"observed_at":"2026-05-21T23:04:26.444734Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Variational ansatz- based quantum simulation of imaginary time evolution","venue":null,"work_id":"d035862b-f4cb-40d4-8775-c25d20b74caf","year":2019},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":62,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:be856c7520fc03818b4d7b51cbb44c601c96845278b9580282208c3f49ed42ae","observation_id":"b2a7bac1-b519-4d01-944c-be202696673e","resolution":{"observed_at":"2026-05-21T23:04:26.467915Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Determining eigenstates and thermal states on a quan- tum computer using quantum imaginary time evolu- tion","venue":null,"work_id":"9bc11730-6f0f-4d28-92e4-7b381537897f","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:8a72fd99aea55a3c88eb44017342d430998596286d300fd4a3c68855064d222d","observation_id":"f01faf66-0aaf-4f01-91dc-295abe04eb0a","resolution":{"observed_at":"2026-05-21T23:04:26.434653Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Digital quantum simulation of open quantum systems using quantum imaginary–time evolu- tion","venue":null,"work_id":"5756c8fe-2851-4ce4-9ca1-93a038b698a6","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:536c4f01c1fa772e71010e3e13d0d6d67ca262346b1e9a74b489bb6269df85f3","observation_id":"ac301511-0d22-4a91-a057-c2644931310d","resolution":{"observed_at":"2026-05-21T23:04:26.454023Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Challenges and opportunities in quantum optimization","venue":null,"work_id":"c84b6384-15a1-4b9a-818b-c9f650d7fcd4","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":65,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:83ccf91396d2a466bd03b4fa903993ffb5b86fada24a780221cd2643779ee775","observation_id":"e3b18de5-2f49-42ad-97ba-20b8f6b24220","resolution":{"observed_at":"2026-05-21T23:04:26.441655Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum fingerprinting","venue":null,"work_id":"813eca92-28cd-4a2e-bf9b-9e684990c675","year":2001},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":66,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:a9adc8bcaf2cab6e10a972f1ba36ffbc39096fa9901c1398dcaab3ebe8966ab2","observation_id":"f2288d1a-94b6-4138-a3d4-058e0bc0636f","resolution":{"observed_at":"2026-05-21T23:04:26.422836Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unifying time evolution and optimization with matrix product states","venue":null,"work_id":"168a60f1-8aa6-483b-8d38-c6be67add27e","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":67,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:0dfa5b726c02fca79d022cef157c2b95b12a4f994b4d4133e48b7c3d086e8acb","observation_id":"d599b517-9ee3-467b-a2fe-7089bc1fa770","resolution":{"observed_at":"2026-05-21T23:04:26.589001Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The density-matrix renormalization group","venue":null,"work_id":"ba58a071-7a6e-47fe-aec5-968cb4f2cc8d","year":2005},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":68,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:73e321c5684735136db34aabe9c74b53ee8685d33d49df0d3be812272f71ac7b","observation_id":"28e0a94b-c474-467c-b9d8-32d7f88baae3","resolution":{"observed_at":"2026-05-21T23:04:26.464019Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The density-matrix renormalization group in the age of matrix product states","venue":null,"work_id":"e245de5d-9c0c-48f7-9ed4-f6b858f257f2","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":69,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f3e73265b1d80e9aebb610d138a20a5e79b44c0fc6756339456482a289041cc3","observation_id":"267f4765-0fea-4df1-80df-d70670a497f3","resolution":{"observed_at":"2026-05-21T23:04:26.450414Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"A practical introduction to tensor net- works: Matrix product states and projected entangled pair states","venue":null,"work_id":"a0f860eb-0f5e-4323-956d-ca260b6f0452","year":2014},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":70,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:aacb1b83499fc07a34e51cab2b11649af2adad1e2cb493b3c11c1aeb4f88beb0","observation_id":"b5ec5d18-7e5d-4566-a129-954cae7c63d2","resolution":{"observed_at":"2026-05-21T23:04:26.447531Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tensor network algorithms: A route map","venue":null,"work_id":"d847cbab-e86f-466d-b244-8ab344607a46","year":2023},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":71,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:9ccb13ca06d26da7a7dedf78877cfc07fe1a77c479de855cc90eacf680c57ef5","observation_id":"141043b2-68eb-4b57-9499-32c752de7c3b","resolution":{"observed_at":"2026-05-21T23:04:26.438390Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":null,"venue":null,"work_id":"d8b92388-7d94-46c6-87d7-13d417c1862a","year":2018},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":72,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:c72e78c31922c9d8eef5b37d078a7181597c638044354dfe27f01c54917084b7","observation_id":"328f5048-cc25-4b19-ab9c-3cb0a5e8267c","resolution":{"observed_at":"2026-05-21T23:04:26.428270Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The tensor networks anthology: Simulation techniques for many-body quantum lattice systems","venue":null,"work_id":"0f4a240a-2caa-4242-bad3-9730a4c1bd3f","year":2019},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":73,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:60bca8b1903e6c647e18877c9817b6252aa2b5f19aba1249f5f043cf56e2107a","observation_id":"b46cf920-6b3b-432c-b608-9e5646fadd58","resolution":{"observed_at":"2026-05-21T23:04:26.417842Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tensor network states and geometry","venue":null,"work_id":"dc431b11-f052-4aa4-b8d7-0c746698a21d","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:5701ce6397270e13f23f02e8388491c3768394e3b77ccb2913a1d6a65211ab17","observation_id":"2fc7534f-6075-44ff-9e88-562e20d5ef89","resolution":{"observed_at":"2026-05-21T23:04:26.444359Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Parent Hamiltonian reconstruction via inverse quantum annealing","venue":null,"work_id":"5fb284e9-0452-4cb0-b362-1f0a19dab456","year":2024},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":75,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:b1a9cb9bf5781db16316d298a8631b091ef9a61f3685a661e665949021d1f10f","observation_id":"00422ecb-790d-49f4-a796-d837e0a6175a","resolution":{"observed_at":"2026-05-21T23:04:26.582206Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Entanglement-guided search for parent Hamiltonians","venue":null,"work_id":"8ae83a54-8075-4284-b3b3-95f0dc322295","year":2019},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":76,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:e4b0dcbed58b03eb99ff526674cb374d6582d496993f50ba99412740e47faca7","observation_id":"77fbc1f3-192e-4193-96e3-d986b9a447a7","resolution":{"observed_at":"2026-05-21T23:04:26.425596Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Frustration free gapless Hamiltonians for matrix product states","venue":null,"work_id":"85762a98-2fe7-47ae-b7e4-d25167eb5b65","year":2015},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":77,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:8cc67bc20c06d8a1f8364a494cdd1de280001fabd9d7d9ab0421e5246e1431b5","observation_id":"a01e11d1-1759-475a-bf07-7174a3926d6f","resolution":{"observed_at":"2026-05-21T23:04:26.379007Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Shortcuts to adiabaticity","venue":null,"work_id":"08575f9a-2e31-4c09-8674-a39b45083d48","year":2013},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":78,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:1f352d1f2c27e4e775f1dfec5613ad9ea9c185a0cbafbc394a931103c92772f6","observation_id":"4fcf4647-5dd1-4853-853a-b8d6c2b13fc8","resolution":{"observed_at":"2026-05-21T23:04:26.406795Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1103/physrevlett.111.100502","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Shortcuts to adiabaticity by coun- terdiabatic driving","venue":"Physical Review Letters","work_id":"dc780893-5b2a-4963-8a3c-8efcf4981af5","year":2013},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":79,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:3733f2a14d8d08a3d4a873b6239a25285486b213629768fb221203a379955309","observation_id":"0e06eac6-47fa-4d7d-9432-c9ad339564d8","resolution":{"observed_at":"2026-05-21T23:04:25.500924Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-05-23T02:23:48.766347+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T02:23:48.766347+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1103/revmodphys.91.045001","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Shortcuts to adiabaticity: Concepts, methods, and appli- cations","venue":"Reviews of Modern Physics","work_id":"4a412d15-dfd9-4b81-bb26-1ecb5f7f8acd","year":2019},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":80,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:502c3bc51c45f953969fc15586550deb719e251b485e15c519a5ff1e8133befa","observation_id":"a550b9a6-4337-4aa0-86ce-b5645cdce616","resolution":{"observed_at":"2026-05-21T23:04:25.509375Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-05-21T23:24:26.67471+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-21T23:24:26.67471+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum annealing speedup over simulated annealing on random Isig chains","venue":null,"work_id":"a04c2f92-f8e5-45e9-a977-7cbf8fce5ede","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":81,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:570ee2b027b2f95498415240e8ea38293f31aaf67f8d867d990d342fa3ada8eb","observation_id":"111f1464-f5b3-4fcb-b0d3-1ee939855e5a","resolution":{"observed_at":"2026-05-21T23:04:26.559045Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum annealing with manufactured spins","venue":null,"work_id":"c455e1c6-50ff-4632-98b4-e1193ac71331","year":2011},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":82,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:ed16936825f75e8460287418f5284af3f00aac9c411de04b956f8a61170048ab","observation_id":"06602281-78de-4c25-8d9c-3d30e07b6612","resolution":{"observed_at":"2026-05-21T23:04:26.430969Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Digitized adiabatic quantum computing with a superconducting circuit","venue":null,"work_id":"a882d508-9517-4f45-92db-425cba553e57","year":2016},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":83,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:5a1aa9a14c662e1f0286917151180760bc93383478bc02a761ba19a344becc13","observation_id":"4c4719e6-c25a-4e16-8471-3de53a17a7b1","resolution":{"observed_at":"2026-05-21T23:04:26.460926Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Measuring entanglement entropy in a quantum many-body system","venue":null,"work_id":"835302f6-9604-4b27-9c05-d9d82c97128c","year":2015},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":84,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:d2bf17e44f48e28d80b4da8dea07b3018dcea528ecb47f44588053bd55036da9","observation_id":"63d5573d-1914-493f-aedf-6a2f04773efa","resolution":{"observed_at":"2026-05-21T23:04:26.457697Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"An area law for one-dimensional quan- tum systems","venue":null,"work_id":"dc766ebe-2511-46e0-8a05-0413ed1737f5","year":2007},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":85,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:afc9d7fb322ae12b3e29adc115a4775bf0aaaf0f10d43515a602193308cb2762","observation_id":"917958c7-a4cd-4863-b8d3-f51dd5e3ab2f","resolution":{"observed_at":"2026-05-21T23:04:26.569533Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Colloquium: Area laws for the entanglement entropy","venue":null,"work_id":"3faaaa00-9c40-4b51-b708-ae73d8e866d8","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":86,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:7835e6af3010b0e2c65d17cd31d613b12d2808b84c863733849df64c9d3d40e8","observation_id":"bddba62b-0717-4c10-9250-96b36751a1dd","resolution":{"observed_at":"2026-05-21T23:04:26.572151Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Optimal sampling of tensor networks targeting wave function’s fast decaying tails","venue":null,"work_id":"6435fdcf-ad25-4764-a2b1-52060e2de3c4","year":2025},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":87,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:a86cc6098cc77b9f2f755b7e944fd5bab49a153ccd58d03a29b65e059dfd053e","observation_id":"c3aec039-031c-447e-9461-2bc47a47d3da","resolution":{"observed_at":"2026-05-21T23:04:26.542920Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.3390/e19070299","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Critical behavior in physics and probabilistic formal languages","venue":"Entropy","work_id":"81c01a13-04c6-4196-a4ab-1bb5b063117b","year":2017},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":88,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:80e934f4121366a57ecd27828634d357f2c0f0c68a47954b1f130ff0674f288a","observation_id":"4060f155-fd8b-4396-a700-806571da220b","resolution":{"observed_at":"2026-05-21T23:04:25.506229Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Tensor networks and efficient de- scriptions of classical data","venue":null,"work_id":"6ed3d7a9-4265-487b-aecb-6d534e0031b7","year":2025},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":89,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f4c7b14a859adf02a84b94ecd030ffac0df53e5a9feccc40cbea5488df6344f5","observation_id":"5feb4cac-ba33-4157-ba2c-8901d11aa81b","resolution":{"observed_at":"2026-05-21T23:04:26.554330Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s42979-021-01002-y","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Language design as information renormalization","venue":"SN Computer Science","work_id":"17168575-7093-452b-8464-73db44c18e38","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":90,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:9d743bbaf851e3b603313cb6ddb87911c51ed09ec7dd79203370d4cb50674d0a","observation_id":"547b8a10-9e00-4a7c-9627-37301fcca087","resolution":{"observed_at":"2026-05-21T23:04:25.503570Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Classical simula- tion of quantum many-body systems with a tree tensor network","venue":null,"work_id":"6c287b1a-2ef2-4237-acfc-c349346e1cd9","year":2006},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":91,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:7331dcfa9f78787b4b6c0a895f4c9d4b5c01ccf4eb519c2fd4e2d740f79c4699","observation_id":"58d2827e-60d6-405f-b582-51f4c29cd9cf","resolution":{"observed_at":"2026-05-21T23:04:26.611696Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Homogeneous binary trees as ground states of quantum critical Hamiltonians","venue":null,"work_id":"8d0d2da9-e54c-484c-a3c3-647db38b0368","year":2010},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":92,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:1a8f316c9e73f6632153b4a6c00b3f879f5b849291d34643183522d433af717a","observation_id":"e3f29166-400e-4bf5-9b62-610ed83a48d7","resolution":{"observed_at":"2026-05-21T23:04:26.605368Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Unconstrainedtreetensornetwork: An adaptive gauge picture for enhanced performance","venue":null,"work_id":"2bf58675-7d2a-4552-96d8-675f3c13b50c","year":2014},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":93,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:896fd5e461a406143c9333b582ec7115fe64f15fc5c2762d085f70105b340682","observation_id":"55a18624-1b43-45a0-87c3-8b46db20db12","resolution":{"observed_at":"2026-05-21T23:04:26.529256Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum tea: qtealeaves","venue":null,"work_id":"695821da-c030-47fa-a892-9abde8027c9a","year":2025},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":94,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:2698d38e580c22f4ef71f77057df992acfe72d5e547c0c9db6acac791b172fd8","observation_id":"9b03f90c-c339-48a4-8466-a958e9c42599","resolution":{"observed_at":"2026-05-21T23:04:26.592238Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Cormen, Charles E","venue":null,"work_id":"dc8100a4-4c88-4dda-945e-a75282c800e5","year":2009},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":95,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:42d717548d1ba723dd36a65d1d7177bfbc913fb2778b2595c38bafe7418c9a24","observation_id":"6a21d2ae-63fd-462b-8743-e54aacb4f9ef","resolution":{"observed_at":"2026-05-21T23:04:26.582239Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"1902.05162","last_updated":"2019-02-13T23:30:17Z","snapshot_observed_at":"2026-08-05T22:08:42.584504Z","submitted_at":"2019-02-13T23:30:17Z","title":"Quantum Language Processing","version":1},"cited_work":{"arxiv_id":"1902.05162","doi":null,"metadata_source":"pith","pith_arxiv_id":"1902.05162","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum Language Processing","venue":"quant-ph","work_id":"3ee06eb7-31c8-4c8f-bff4-9e849321ab09","year":2019},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":96,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/1902.05162","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:7725f0b77dcd42a3487b104aa62d1e6fac8e02a5efbdfad8134195356a843a9a","observation_id":"0b54cc48-721b-4f0e-87fd-535df5dbb954","resolution":{"observed_at":"2026-05-21T23:04:25.696458Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2012.03755","last_updated":"2020-12-07T14:49:33Z","snapshot_observed_at":"2026-07-31T19:22:55.319435Z","submitted_at":"2020-12-07T14:49:33Z","title":"Foundations for Near-Term Quantum Natural Language Processing","version":1},"cited_work":{"arxiv_id":"2012.03755","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":"2012.03755","snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"arXiv:2012.03755","venue":null,"work_id":"ce68576d-439d-4b06-aae5-f4fd8695608d","year":2020},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":97,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"cited_paper":"/paper/2012.03755","citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:5ec540ae08cca7a5de2be51f4532d93ac0563b854b4978ffab00fed47fb23ca3","observation_id":"86c1d422-667b-4268-95ae-ee6e939b57f9","resolution":{"observed_at":"2026-05-21T23:04:25.701204Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Quantum natural language processing: Chal- lenges and opportunities","venue":null,"work_id":"b8b97715-5bc1-4aad-9355-08269f5fad82","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":98,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:30f623baf5f377ac2daec36bb3961514121273cdea91635e43f2ec41aad5ce96","observation_id":"099c430b-943f-4bb3-81c1-922ab17ff239","resolution":{"observed_at":"2026-05-21T23:04:26.551669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"The dawn of quantum natural language processing","venue":null,"work_id":"7812346c-8c72-4b76-b505-2dd7e27b5524","year":2022},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":99,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:f227ded4b8698e3dcb7361ce4fe0b249b9aa4310f0aa55a92c9f68f4068efd0f","observation_id":"45e50894-640b-41a4-9b1d-088279b2bc7a","resolution":{"observed_at":"2026-05-21T23:04:26.574992Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-06-05T21:23:00.469572Z","title":"Elementary gates for quantum computation","venue":null,"work_id":"414e2cf8-ca9c-43da-b1b6-d07991ef1403","year":1995},"citing_paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning","version":2},"reference_index":100,"source":"pdf_text","source_observed_at":"2026-05-21T23:01:32.436890Z"},"links":{"citing_paper":"/paper/2508.21122"},"observation_digest":"sha256:790d73dd5efb6f73c120acb1ea69c1e2a9babdd7eb89ea6ec446e05f471f0a96","observation_id":"bfef9402-3fae-4645-b1dd-3245bdee32e6","resolution":{"observed_at":"2026-05-21T23:04:26.403941Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2508.21122","last_updated":"2026-05-17T16:17:00Z","latest_version":2,"primary_category":"quant-ph","snapshot_observed_at":"2026-07-06T22:20:16.962764Z","submitted_at":"2025-08-28T18:00:06Z","title":"Quantum algorithms for equational reasoning"},"reference_resolution":{"displayed":100,"state_counts":{"malformed_identifier":0,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":7,"verified_exact":12,"verified_fuzzy":80},"total_outbound_references":104},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 7 August 2026, this Paper Citation Record lists 100 of 104 outbound references and 1 inbound Pith citation observation for arXiv:2508.21122."}