{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2022:ZYOU6RWBN4G6GST7MIW337QOQV","short_pith_number":"pith:ZYOU6RWB","schema_version":"1.0","canonical_sha256":"ce1d4f46c16f0de34a7f622dbdfe0e85752944d22e55fc1eedcca6bb5fd84393","source":{"kind":"arxiv","id":"2206.10880","version":1},"attestation_state":"computed","paper":{"title":"VeriQBench: A Benchmark for Multiple Types of Quantum Circuits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Ji Guan, Junyi Liu, Kean Chen, Mingsheng Ying, Mingyu Huang, Qisheng Wang, Wang Fang, Xin Hong","submitted_at":"2022-06-22T07:03:20Z","abstract_excerpt":"In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works including quantum circuit verification (e.g., equivalence checking [Hon+21a; WLY21] and model checking [Y"},"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":"2206.10880","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2022-06-22T07:03:20Z","cross_cats_sorted":[],"title_canon_sha256":"afb5643e3b27c69d6ebd335027a8cd56eb74159f16238c3e8f80460c58c8ad94","abstract_canon_sha256":"1ea41d3f613ac58d2afd76b062b91686b7fcb59e3730b1598a755d2984b8b083"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:33:56.797950Z","signature_b64":"gt49n+wcZf6gP4JnWmoltWBZP4N+BgzpyVqKIoDfFaq5SdZDCGMdNMIo7poU6h/OrxZqgEH1qyKsEy1W2GP8Cg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce1d4f46c16f0de34a7f622dbdfe0e85752944d22e55fc1eedcca6bb5fd84393","last_reissued_at":"2026-07-05T04:33:56.797443Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:33:56.797443Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"VeriQBench: A Benchmark for Multiple Types of Quantum Circuits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Ji Guan, Junyi Liu, Kean Chen, Mingsheng Ying, Mingyu Huang, Qisheng Wang, Wang Fang, Xin Hong","submitted_at":"2022-06-22T07:03:20Z","abstract_excerpt":"In this paper, we introduce VeriQBench -- an open source benchmark for quantum circuits. It offers high-level quantum circuit abstractions of various circuit types, including 1) combinational, 2) dynamic, 3) sequential, and 4) variational quantum circuits, which cover almost all existing types of quantum circuits in the literature. Meanwhile, VeriQBench is a versatile benchmark which can be used in verifying quantum software for different applications, as is evidenced by the existing works including quantum circuit verification (e.g., equivalence checking [Hon+21a; WLY21] and model checking [Y"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.10880","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/2206.10880/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":"2206.10880","created_at":"2026-07-05T04:33:56.797502+00:00"},{"alias_kind":"arxiv_version","alias_value":"2206.10880v1","created_at":"2026-07-05T04:33:56.797502+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.10880","created_at":"2026-07-05T04:33:56.797502+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZYOU6RWBN4G6","created_at":"2026-07-05T04:33:56.797502+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZYOU6RWBN4G6GST7","created_at":"2026-07-05T04:33:56.797502+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZYOU6RWB","created_at":"2026-07-05T04:33:56.797502+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":4,"internal_anchor_count":0,"sample":[{"citing_arxiv_id":"2607.02029","citing_title":"Benchmarking Quantum Software Testing with Scalable Quantum Programs","ref_index":8,"is_internal_anchor":false},{"citing_arxiv_id":"2605.30358","citing_title":"QASM-Eval: A Dataset to Train and Evaluate LLMs on OpenQASM-3 Beyond Quantum Circuits","ref_index":23,"is_internal_anchor":false},{"citing_arxiv_id":"2601.08367","citing_title":"A Methodological Analysis of Empirical Studies in Quantum Software Testing","ref_index":18,"is_internal_anchor":false},{"citing_arxiv_id":"2604.26609","citing_title":"Probabilistic Condition, Decision and Path Coverage of Circuit-based Quantum Programs","ref_index":14,"is_internal_anchor":false}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV","json":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV.json","graph_json":"https://pith.science/api/pith-number/ZYOU6RWBN4G6GST7MIW337QOQV/graph.json","events_json":"https://pith.science/api/pith-number/ZYOU6RWBN4G6GST7MIW337QOQV/events.json","paper":"https://pith.science/paper/ZYOU6RWB"},"agent_actions":{"view_html":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV","download_json":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV.json","view_paper":"https://pith.science/paper/ZYOU6RWB","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2206.10880&json=true","fetch_graph":"https://pith.science/api/pith-number/ZYOU6RWBN4G6GST7MIW337QOQV/graph.json","fetch_events":"https://pith.science/api/pith-number/ZYOU6RWBN4G6GST7MIW337QOQV/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV/action/storage_attestation","attest_author":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV/action/author_attestation","sign_citation":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV/action/citation_signature","submit_replication":"https://pith.science/pith/ZYOU6RWBN4G6GST7MIW337QOQV/action/replication_record"}},"created_at":"2026-07-05T04:33:56.797502+00:00","updated_at":"2026-07-05T04:33:56.797502+00:00"}