{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:WXHA7ZHASXZZHZ6G4ETD5IF7HO","short_pith_number":"pith:WXHA7ZHA","schema_version":"1.0","canonical_sha256":"b5ce0fe4e095f393e7c6e1263ea0bf3b841d48f84ba226cd7266e357832f116d","source":{"kind":"arxiv","id":"2311.11313","version":3},"attestation_state":"computed","paper":{"title":"Symbolic Execution for Quantum Error Correction Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Wang Fang","submitted_at":"2023-11-19T12:31:11Z","abstract_excerpt":"We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements. The soundness of QSE is established through a theorem that ensures the correctness of symbolic execution within operational semantics. We further introduce symbolic stabilizer states, which symbolize the phases of stabilizer generators, for the efficient analysis of quantum error correction (QEC) programs. Within the QSE framework, we can use symbolic expressions to characterize the possible discrete Pauli errors in QEC, providing a "},"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":"2311.11313","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-11-19T12:31:11Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"2daffc19d587e84308778c027ed5839e14723d0e6a1cc3fcff0a6897c4de9afb","abstract_canon_sha256":"ffd7b5d6888260cf65141f6dac6f5dd8f320509f30a9ce613d34da95dab145e8"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:12:46.285245Z","signature_b64":"rrYdsAjqpkwHbWwYucvQWLTbAd5IuGzxWUtOxHwDFowUJrI5+G0uiwQHBk6nvj1U024IzwaXBQgOGDikpnJUCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b5ce0fe4e095f393e7c6e1263ea0bf3b841d48f84ba226cd7266e357832f116d","last_reissued_at":"2026-07-05T08:12:46.284819Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:12:46.284819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Symbolic Execution for Quantum Error Correction Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Mingsheng Ying, Wang Fang","submitted_at":"2023-11-19T12:31:11Z","abstract_excerpt":"We define QSE, a symbolic execution framework for quantum programs by integrating symbolic variables into quantum states and the outcomes of quantum measurements. The soundness of QSE is established through a theorem that ensures the correctness of symbolic execution within operational semantics. We further introduce symbolic stabilizer states, which symbolize the phases of stabilizer generators, for the efficient analysis of quantum error correction (QEC) programs. Within the QSE framework, we can use symbolic expressions to characterize the possible discrete Pauli errors in QEC, providing a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.11313","kind":"arxiv","version":3},"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/2311.11313/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":"2311.11313","created_at":"2026-07-05T08:12:46.284872+00:00"},{"alias_kind":"arxiv_version","alias_value":"2311.11313v3","created_at":"2026-07-05T08:12:46.284872+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.11313","created_at":"2026-07-05T08:12:46.284872+00:00"},{"alias_kind":"pith_short_12","alias_value":"WXHA7ZHASXZZ","created_at":"2026-07-05T08:12:46.284872+00:00"},{"alias_kind":"pith_short_16","alias_value":"WXHA7ZHASXZZHZ6G","created_at":"2026-07-05T08:12:46.284872+00:00"},{"alias_kind":"pith_short_8","alias_value":"WXHA7ZHA","created_at":"2026-07-05T08:12:46.284872+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO","json":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO.json","graph_json":"https://pith.science/api/pith-number/WXHA7ZHASXZZHZ6G4ETD5IF7HO/graph.json","events_json":"https://pith.science/api/pith-number/WXHA7ZHASXZZHZ6G4ETD5IF7HO/events.json","paper":"https://pith.science/paper/WXHA7ZHA"},"agent_actions":{"view_html":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO","download_json":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO.json","view_paper":"https://pith.science/paper/WXHA7ZHA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2311.11313&json=true","fetch_graph":"https://pith.science/api/pith-number/WXHA7ZHASXZZHZ6G4ETD5IF7HO/graph.json","fetch_events":"https://pith.science/api/pith-number/WXHA7ZHASXZZHZ6G4ETD5IF7HO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO/action/storage_attestation","attest_author":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO/action/author_attestation","sign_citation":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO/action/citation_signature","submit_replication":"https://pith.science/pith/WXHA7ZHASXZZHZ6G4ETD5IF7HO/action/replication_record"}},"created_at":"2026-07-05T08:12:46.284872+00:00","updated_at":"2026-07-05T08:12:46.284872+00:00"}