{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:PEKH3MOH4T2MLJYU6J7UQBONOR","short_pith_number":"pith:PEKH3MOH","canonical_record":{"source":{"id":"2507.10635","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-07-14T12:28:32Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"31d60f76233c7c71034408dea26b60fe0b22be7c10bda16bba1b167482d10ae8","abstract_canon_sha256":"85a0e8adff6b2fa00c6053b6e2a1f1e8d4445655ac21311438b688f6f63b295c"},"schema_version":"1.0"},"canonical_sha256":"79147db1c7e4f4c5a714f27f4805cd7460aff7fc7185e73350379054d1f64f17","source":{"kind":"arxiv","id":"2507.10635","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10635","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10635v1","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10635","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"PEKH3MOH4T2M","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_16","alias_value":"PEKH3MOH4T2MLJYU","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_8","alias_value":"PEKH3MOH","created_at":"2026-07-05T11:36:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:PEKH3MOH4T2MLJYU6J7UQBONOR","target":"record","payload":{"canonical_record":{"source":{"id":"2507.10635","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-07-14T12:28:32Z","cross_cats_sorted":["cs.LG","cs.PL"],"title_canon_sha256":"31d60f76233c7c71034408dea26b60fe0b22be7c10bda16bba1b167482d10ae8","abstract_canon_sha256":"85a0e8adff6b2fa00c6053b6e2a1f1e8d4445655ac21311438b688f6f63b295c"},"schema_version":"1.0"},"canonical_sha256":"79147db1c7e4f4c5a714f27f4805cd7460aff7fc7185e73350379054d1f64f17","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:36:57.945402Z","signature_b64":"1BBf/rayezmgtUcqIWVRxOw6uoIIOnG27xtFAwo0WztW0TBxH0LaWijKCqoonhiZPOVD3+La+4+RGl3eSl5jBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"79147db1c7e4f4c5a714f27f4805cd7460aff7fc7185e73350379054d1f64f17","last_reissued_at":"2026-07-05T11:36:57.944913Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:36:57.944913Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.10635","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:36:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jE0wVrpznyVFOL79oGun106KaQAKgv1cri4r8g+omoimGk3oeMDNuEArZjTHIE0/8ivApfGJC7lAj7DAiMzbBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:29:45.810099Z"},"content_sha256":"d6c7719e7348bdadd225989c2e6baac669eedea2c015e08986fc48d6d2c0804f","schema_version":"1.0","event_id":"sha256:d6c7719e7348bdadd225989c2e6baac669eedea2c015e08986fc48d6d2c0804f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:PEKH3MOH4T2MLJYU6J7UQBONOR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Formal Verification of Variational Quantum Circuits","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LG","cs.PL"],"primary_cat":"quant-ph","authors_text":"Alessandra Di Pierro, Isabella Mastroeni, Luca Marzari, Nicola Assolini","submitted_at":"2025-07-14T12:28:32Z","abstract_excerpt":"Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects, can be considered similar to classical deep neural networks. A shared aspect is, for instance, their vulnerability to adversarial inputs, small perturbations that can lead to incorrect predictions. While formal verification techniques have been extensively developed for classical models, no comparable framework exists for certifying the robustness of VQCs. Here, we present the first in-depth theoretical and practical"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10635","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/2507.10635/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T11:36:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nSY9etQ+o1CfMD+VW+GrLlMB9lchKnbuPVXJeLv7DTwAQRhvbO0573LIQzfjMpkokpbeX9FFlW+tmy+fn7jkAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T21:29:45.810605Z"},"content_sha256":"aa24bbd5c1a28c7601d5153468a39323e79c5045fd892a975dd660585ed486a4","schema_version":"1.0","event_id":"sha256:aa24bbd5c1a28c7601d5153468a39323e79c5045fd892a975dd660585ed486a4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/bundle.json","state_url":"https://pith.science/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T21:29:45Z","links":{"resolver":"https://pith.science/pith/PEKH3MOH4T2MLJYU6J7UQBONOR","bundle":"https://pith.science/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/bundle.json","state":"https://pith.science/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PEKH3MOH4T2MLJYU6J7UQBONOR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PEKH3MOH4T2MLJYU6J7UQBONOR","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":"85a0e8adff6b2fa00c6053b6e2a1f1e8d4445655ac21311438b688f6f63b295c","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-07-14T12:28:32Z","title_canon_sha256":"31d60f76233c7c71034408dea26b60fe0b22be7c10bda16bba1b167482d10ae8"},"schema_version":"1.0","source":{"id":"2507.10635","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.10635","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"2507.10635v1","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.10635","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"PEKH3MOH4T2M","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_16","alias_value":"PEKH3MOH4T2MLJYU","created_at":"2026-07-05T11:36:57Z"},{"alias_kind":"pith_short_8","alias_value":"PEKH3MOH","created_at":"2026-07-05T11:36:57Z"}],"graph_snapshots":[{"event_id":"sha256:aa24bbd5c1a28c7601d5153468a39323e79c5045fd892a975dd660585ed486a4","target":"graph","created_at":"2026-07-05T11:36:57Z","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/2507.10635/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Variational quantum circuits (VQCs) are a central component of many quantum machine learning algorithms, offering a hybrid quantum-classical framework that, under certain aspects, can be considered similar to classical deep neural networks. A shared aspect is, for instance, their vulnerability to adversarial inputs, small perturbations that can lead to incorrect predictions. While formal verification techniques have been extensively developed for classical models, no comparable framework exists for certifying the robustness of VQCs. Here, we present the first in-depth theoretical and practical","authors_text":"Alessandra Di Pierro, Isabella Mastroeni, Luca Marzari, Nicola Assolini","cross_cats":["cs.LG","cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-07-14T12:28:32Z","title":"Formal Verification of Variational Quantum Circuits"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.10635","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:d6c7719e7348bdadd225989c2e6baac669eedea2c015e08986fc48d6d2c0804f","target":"record","created_at":"2026-07-05T11:36:57Z","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":"85a0e8adff6b2fa00c6053b6e2a1f1e8d4445655ac21311438b688f6f63b295c","cross_cats_sorted":["cs.LG","cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-07-14T12:28:32Z","title_canon_sha256":"31d60f76233c7c71034408dea26b60fe0b22be7c10bda16bba1b167482d10ae8"},"schema_version":"1.0","source":{"id":"2507.10635","kind":"arxiv","version":1}},"canonical_sha256":"79147db1c7e4f4c5a714f27f4805cd7460aff7fc7185e73350379054d1f64f17","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"79147db1c7e4f4c5a714f27f4805cd7460aff7fc7185e73350379054d1f64f17","first_computed_at":"2026-07-05T11:36:57.944913Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:36:57.944913Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1BBf/rayezmgtUcqIWVRxOw6uoIIOnG27xtFAwo0WztW0TBxH0LaWijKCqoonhiZPOVD3+La+4+RGl3eSl5jBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T11:36:57.945402Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.10635","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d6c7719e7348bdadd225989c2e6baac669eedea2c015e08986fc48d6d2c0804f","sha256:aa24bbd5c1a28c7601d5153468a39323e79c5045fd892a975dd660585ed486a4"],"state_sha256":"2f2a9fb5949bcc0330ac70992ba8dbaa0f44d067b1ea24b4bee3a9a8d525f573"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FzaK97hFbtEPRzV4BsQcInwPeTWGntm07Ucx0hPfjo7AashmGQu4FcgphPbVw9ocN9rPw+wa9vqkpNQ83aGtBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T21:29:45.814532Z","bundle_sha256":"99a39d3304713e75f651103b552dcea6812584a91e500e983022132a04889a0c"}}