{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DM223SYZX4DB5CPCU4RJCP2TYQ","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":"65f9331bec96a9b0492c0a90aaaa7ed365a0cfde4609b891aba0de0ddbb60356","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-18T19:00:03Z","title_canon_sha256":"d13cb5d250cbbae226dec564a4f6f487e6c4443bf29ff15d45b0c9ddfbcc2f54"},"schema_version":"1.0","source":{"id":"2412.14252","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2412.14252","created_at":"2026-07-05T09:51:42Z"},{"alias_kind":"arxiv_version","alias_value":"2412.14252v1","created_at":"2026-07-05T09:51:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2412.14252","created_at":"2026-07-05T09:51:42Z"},{"alias_kind":"pith_short_12","alias_value":"DM223SYZX4DB","created_at":"2026-07-05T09:51:42Z"},{"alias_kind":"pith_short_16","alias_value":"DM223SYZX4DB5CPC","created_at":"2026-07-05T09:51:42Z"},{"alias_kind":"pith_short_8","alias_value":"DM223SYZ","created_at":"2026-07-05T09:51:42Z"}],"graph_snapshots":[{"event_id":"sha256:41e2aa67d855cb4eb83178108d3ab6056d33b8bccf49a78584fd7f11fbd1bed0","target":"graph","created_at":"2026-07-05T09:51:42Z","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/2412.14252/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As new advancements in the field of quantum computing lead to the development of increasingly complex programs, approaches to validate and debug these programs are becoming more important. To this end, methods employed in classical debugging, such as assertions for testing specific properties of a program's state, have been adapted for quantum programs. However, to efficiently debug quantum programs, it is key to properly place these assertions. This usually requires a deep understanding of the program's underlying mathematical properties, constituting a time-consuming manual task for develope","authors_text":"Damian Rovara, Lukas Burgholzer, Robert Wille","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-18T19:00:03Z","title":"Automatically Refining Assertions for Efficient Debugging of Quantum Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2412.14252","kind":"arxiv","version":1},"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:3c5bae701727d87292c216e6532cb7bbf70affe13ef5da45001d80bf8ac2c9a0","target":"record","created_at":"2026-07-05T09:51:42Z","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":"65f9331bec96a9b0492c0a90aaaa7ed365a0cfde4609b891aba0de0ddbb60356","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2024-12-18T19:00:03Z","title_canon_sha256":"d13cb5d250cbbae226dec564a4f6f487e6c4443bf29ff15d45b0c9ddfbcc2f54"},"schema_version":"1.0","source":{"id":"2412.14252","kind":"arxiv","version":1}},"canonical_sha256":"1b35adcb19bf061e89e2a722913f53c42309c3effb64214be1170a48657460d1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1b35adcb19bf061e89e2a722913f53c42309c3effb64214be1170a48657460d1","first_computed_at":"2026-07-05T09:51:42.550332Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:51:42.550332Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"fuj5HIYdL3TAOzGji2T2y+9/A/7eMZAatjyPHDDxDXB0xlfXZglgdRt+/XK6L5bcQNwXx3XIvn//7o3XAmUYDA==","signature_status":"signed_v1","signed_at":"2026-07-05T09:51:42.550832Z","signed_message":"canonical_sha256_bytes"},"source_id":"2412.14252","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c5bae701727d87292c216e6532cb7bbf70affe13ef5da45001d80bf8ac2c9a0","sha256:41e2aa67d855cb4eb83178108d3ab6056d33b8bccf49a78584fd7f11fbd1bed0"],"state_sha256":"f6d80a98cc31b652d5948b91d74391c100023635034a7ab41fd6e7b5f53f84ea"}