{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:ZYXTXZWKGZL4AY3ANGWCSX6DPE","short_pith_number":"pith:ZYXTXZWK","schema_version":"1.0","canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","source":{"kind":"arxiv","id":"2305.01707","version":1},"attestation_state":"computed","paper":{"title":"Discovering Quantum Circuit Components with Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Florian Marquardt, Kevin Ellis, Leopoldo Sarra","submitted_at":"2023-05-02T18:17:07Z","abstract_excerpt":"Despite rapid progress in the field, it is still challenging to discover new ways to take advantage of quantum computation: all quantum algorithms need to be designed by hand, and quantum mechanics is notoriously counterintuitive. In this paper, we study how artificial intelligence, in the form of program synthesis, may help to overcome some of these difficulties, by showing how a computer can incrementally learn concepts relevant for quantum circuit synthesis with experience, and reuse them in unseen tasks. In particular, we focus on the decomposition of unitary matrices into quantum circuits"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2305.01707","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-05-02T18:17:07Z","cross_cats_sorted":[],"title_canon_sha256":"36b53513817686fe157af93759b5232f90c83ecfe6bb3c85fd38ad2c7363cedc","abstract_canon_sha256":"396d7e9d13c2e821d03bfe82123387e7a6b47e85a9b220f7a776007d173cbeaf"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:06:31.094683Z","signature_b64":"rRjSdAt8a9qlN281dsQeQYKSOLtBnIOS7aqJo2zgoYmW9e1IB9V2BLwAbdpXusiuHLyDrp19LmhiwtNzo4j2DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce2f3be6ca3657c0636069ac295fc3793d9f46bb5905b1e0bf7fa722968eac92","last_reissued_at":"2026-07-05T06:06:31.094227Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:06:31.094227Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Discovering Quantum Circuit Components with Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Florian Marquardt, Kevin Ellis, Leopoldo Sarra","submitted_at":"2023-05-02T18:17:07Z","abstract_excerpt":"Despite rapid progress in the field, it is still challenging to discover new ways to take advantage of quantum computation: all quantum algorithms need to be designed by hand, and quantum mechanics is notoriously counterintuitive. In this paper, we study how artificial intelligence, in the form of program synthesis, may help to overcome some of these difficulties, by showing how a computer can incrementally learn concepts relevant for quantum circuit synthesis with experience, and reuse them in unseen tasks. In particular, we focus on the decomposition of unitary matrices into quantum circuits"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.01707","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.01707/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2305.01707","created_at":"2026-07-05T06:06:31.094282+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.01707v1","created_at":"2026-07-05T06:06:31.094282+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.01707","created_at":"2026-07-05T06:06:31.094282+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZYXTXZWKGZL4","created_at":"2026-07-05T06:06:31.094282+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZYXTXZWKGZL4AY3A","created_at":"2026-07-05T06:06:31.094282+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZYXTXZWK","created_at":"2026-07-05T06:06:31.094282+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2505.20863","citing_title":"Leveraging Diffusion Models for Parameterized Quantum Circuit Generation","ref_index":18,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE","json":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE.json","graph_json":"https://pith.science/api/pith-number/ZYXTXZWKGZL4AY3ANGWCSX6DPE/graph.json","events_json":"https://pith.science/api/pith-number/ZYXTXZWKGZL4AY3ANGWCSX6DPE/events.json","paper":"https://pith.science/paper/ZYXTXZWK"},"agent_actions":{"view_html":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE","download_json":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE.json","view_paper":"https://pith.science/paper/ZYXTXZWK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.01707&json=true","fetch_graph":"https://pith.science/api/pith-number/ZYXTXZWKGZL4AY3ANGWCSX6DPE/graph.json","fetch_events":"https://pith.science/api/pith-number/ZYXTXZWKGZL4AY3ANGWCSX6DPE/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/action/storage_attestation","attest_author":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/action/author_attestation","sign_citation":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/action/citation_signature","submit_replication":"https://pith.science/pith/ZYXTXZWKGZL4AY3ANGWCSX6DPE/action/replication_record"}},"created_at":"2026-07-05T06:06:31.094282+00:00","updated_at":"2026-07-05T06:06:31.094282+00:00"}