{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:WXHA7ZHASXZZHZ6G4ETD5IF7HO","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"ffd7b5d6888260cf65141f6dac6f5dd8f320509f30a9ce613d34da95dab145e8","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-11-19T12:31:11Z","title_canon_sha256":"2daffc19d587e84308778c027ed5839e14723d0e6a1cc3fcff0a6897c4de9afb"},"schema_version":"1.0","source":{"id":"2311.11313","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.11313","created_at":"2026-07-05T08:12:46Z"},{"alias_kind":"arxiv_version","alias_value":"2311.11313v3","created_at":"2026-07-05T08:12:46Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.11313","created_at":"2026-07-05T08:12:46Z"},{"alias_kind":"pith_short_12","alias_value":"WXHA7ZHASXZZ","created_at":"2026-07-05T08:12:46Z"},{"alias_kind":"pith_short_16","alias_value":"WXHA7ZHASXZZHZ6G","created_at":"2026-07-05T08:12:46Z"},{"alias_kind":"pith_short_8","alias_value":"WXHA7ZHA","created_at":"2026-07-05T08:12:46Z"}],"graph_snapshots":[{"event_id":"sha256:3486c34318a1cf030612cc088ad54d70f308bb80102f35d067a7cc6629a8ea02","target":"graph","created_at":"2026-07-05T08:12:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2311.11313/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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 ","authors_text":"Mingsheng Ying, Wang Fang","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-11-19T12:31:11Z","title":"Symbolic Execution for Quantum Error Correction Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.11313","kind":"arxiv","version":3},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4302d11406af5f2fa2550d77a04c6bb2ab6ba3cab3dbc663aad88732dd5d5238","target":"record","created_at":"2026-07-05T08:12:46Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"ffd7b5d6888260cf65141f6dac6f5dd8f320509f30a9ce613d34da95dab145e8","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2023-11-19T12:31:11Z","title_canon_sha256":"2daffc19d587e84308778c027ed5839e14723d0e6a1cc3fcff0a6897c4de9afb"},"schema_version":"1.0","source":{"id":"2311.11313","kind":"arxiv","version":3}},"canonical_sha256":"b5ce0fe4e095f393e7c6e1263ea0bf3b841d48f84ba226cd7266e357832f116d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b5ce0fe4e095f393e7c6e1263ea0bf3b841d48f84ba226cd7266e357832f116d","first_computed_at":"2026-07-05T08:12:46.284819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:12:46.284819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rrYdsAjqpkwHbWwYucvQWLTbAd5IuGzxWUtOxHwDFowUJrI5+G0uiwQHBk6nvj1U024IzwaXBQgOGDikpnJUCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:12:46.285245Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.11313","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4302d11406af5f2fa2550d77a04c6bb2ab6ba3cab3dbc663aad88732dd5d5238","sha256:3486c34318a1cf030612cc088ad54d70f308bb80102f35d067a7cc6629a8ea02"],"state_sha256":"cb51e2c43ec3a64483b149de1b58d27535e725b4ea2c432d4526a6d2ec99f608"}