{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:3FVZQ2PMOV2VUUEAZ3ROMXHYA4","short_pith_number":"pith:3FVZQ2PM","canonical_record":{"source":{"id":"2206.06054","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-13T11:35:55Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6dc60fe378fb293804c6ff4e803cc254485522ac399d2a243efbd2d8df89228c","abstract_canon_sha256":"8c8999d0b91de6c6be8271cfe2d2a3c6b0f7313a5c1e61e466a64887e5b019c4"},"schema_version":"1.0"},"canonical_sha256":"d96b9869ec75755a5080cee2e65cf80705e68d19476942b556ef04220ba44554","source":{"kind":"arxiv","id":"2206.06054","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.06054","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"arxiv_version","alias_value":"2206.06054v1","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.06054","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_12","alias_value":"3FVZQ2PMOV2V","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_16","alias_value":"3FVZQ2PMOV2VUUEA","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_8","alias_value":"3FVZQ2PM","created_at":"2026-07-05T04:31:14Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:3FVZQ2PMOV2VUUEAZ3ROMXHYA4","target":"record","payload":{"canonical_record":{"source":{"id":"2206.06054","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-13T11:35:55Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"6dc60fe378fb293804c6ff4e803cc254485522ac399d2a243efbd2d8df89228c","abstract_canon_sha256":"8c8999d0b91de6c6be8271cfe2d2a3c6b0f7313a5c1e61e466a64887e5b019c4"},"schema_version":"1.0"},"canonical_sha256":"d96b9869ec75755a5080cee2e65cf80705e68d19476942b556ef04220ba44554","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:31:14.570881Z","signature_b64":"wk88JIVu/CUzYPAktIhHvssw5ol+2y9GpKtpwlChMv1q4e9KOKgVy6zvafwDwAIQADNSyW2HSXqQKOG6SLeWBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d96b9869ec75755a5080cee2e65cf80705e68d19476942b556ef04220ba44554","last_reissued_at":"2026-07-05T04:31:14.570390Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:31:14.570390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2206.06054","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-05T04:31:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t1ShhqrzlAAJrw/JcnVkQAuwXCaOOW+ZLz7HrGdR3UI+hhBNuGNU3T1LqFqA8E7maJE/UgjmJTThbM3QPnc1AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T16:13:52.886431Z"},"content_sha256":"a80a3b5641310f663da36293c4cb11a996f21c955a9794d1c198dff339579a77","schema_version":"1.0","event_id":"sha256:a80a3b5641310f663da36293c4cb11a996f21c955a9794d1c198dff339579a77"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:3FVZQ2PMOV2VUUEAZ3ROMXHYA4","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.LG","authors_text":"Adish Singla, Hasan Ferit Eniser, J\\\"org Hoffmann, Maria Christakis, Valentin W\\\"ustholz","submitted_at":"2022-06-13T11:35:55Z","abstract_excerpt":"Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of these models is of critical importance and has resulted in the development of numerous approaches for validating and verifying their robustness and fairness. However, beyond such specific properties, it is challenging to specify, let alone check, general functional-correctness expectations from models. In this paper, we take inspiration from specifications used in formal methods, expressing functional-correctness pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.06054","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.06054/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-05T04:31:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yU5nFVIjdurzFktXBWhheWlt/LzkZWTPhLJ2h0fO9G57nRP0Wzjt/yy23uEaVwzci7Ewz4UWSxMaSqU/qk2YBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-16T16:13:52.887062Z"},"content_sha256":"91071547eb7e0db5d53f928ecda24d12896df92829289a4780dcabcb2918ec08","schema_version":"1.0","event_id":"sha256:91071547eb7e0db5d53f928ecda24d12896df92829289a4780dcabcb2918ec08"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/bundle.json","state_url":"https://pith.science/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/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-16T16:13:52Z","links":{"resolver":"https://pith.science/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4","bundle":"https://pith.science/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/bundle.json","state":"https://pith.science/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3FVZQ2PMOV2VUUEAZ3ROMXHYA4/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:3FVZQ2PMOV2VUUEAZ3ROMXHYA4","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":"8c8999d0b91de6c6be8271cfe2d2a3c6b0f7313a5c1e61e466a64887e5b019c4","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-13T11:35:55Z","title_canon_sha256":"6dc60fe378fb293804c6ff4e803cc254485522ac399d2a243efbd2d8df89228c"},"schema_version":"1.0","source":{"id":"2206.06054","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2206.06054","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"arxiv_version","alias_value":"2206.06054v1","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2206.06054","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_12","alias_value":"3FVZQ2PMOV2V","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_16","alias_value":"3FVZQ2PMOV2VUUEA","created_at":"2026-07-05T04:31:14Z"},{"alias_kind":"pith_short_8","alias_value":"3FVZQ2PM","created_at":"2026-07-05T04:31:14Z"}],"graph_snapshots":[{"event_id":"sha256:91071547eb7e0db5d53f928ecda24d12896df92829289a4780dcabcb2918ec08","target":"graph","created_at":"2026-07-05T04:31:14Z","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/2206.06054/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Machine-learning models are becoming increasingly prevalent in our lives, for instance assisting in image-classification or decision-making tasks. Consequently, the reliability of these models is of critical importance and has resulted in the development of numerous approaches for validating and verifying their robustness and fairness. However, beyond such specific properties, it is challenging to specify, let alone check, general functional-correctness expectations from models. In this paper, we take inspiration from specifications used in formal methods, expressing functional-correctness pro","authors_text":"Adish Singla, Hasan Ferit Eniser, J\\\"org Hoffmann, Maria Christakis, Valentin W\\\"ustholz","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-13T11:35:55Z","title":"Specifying and Testing $k$-Safety Properties for Machine-Learning Models"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2206.06054","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:a80a3b5641310f663da36293c4cb11a996f21c955a9794d1c198dff339579a77","target":"record","created_at":"2026-07-05T04:31:14Z","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":"8c8999d0b91de6c6be8271cfe2d2a3c6b0f7313a5c1e61e466a64887e5b019c4","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2022-06-13T11:35:55Z","title_canon_sha256":"6dc60fe378fb293804c6ff4e803cc254485522ac399d2a243efbd2d8df89228c"},"schema_version":"1.0","source":{"id":"2206.06054","kind":"arxiv","version":1}},"canonical_sha256":"d96b9869ec75755a5080cee2e65cf80705e68d19476942b556ef04220ba44554","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d96b9869ec75755a5080cee2e65cf80705e68d19476942b556ef04220ba44554","first_computed_at":"2026-07-05T04:31:14.570390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:31:14.570390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wk88JIVu/CUzYPAktIhHvssw5ol+2y9GpKtpwlChMv1q4e9KOKgVy6zvafwDwAIQADNSyW2HSXqQKOG6SLeWBw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:31:14.570881Z","signed_message":"canonical_sha256_bytes"},"source_id":"2206.06054","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a80a3b5641310f663da36293c4cb11a996f21c955a9794d1c198dff339579a77","sha256:91071547eb7e0db5d53f928ecda24d12896df92829289a4780dcabcb2918ec08"],"state_sha256":"8c4d05d6bfe5307127a0c871848bde31179834e1383eb6fbb74fbccf13b1186f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/T7LNTACny6VrTL01XpZB6EX/qupoh2YKPaOmav9Zn/u4zQSwehbibTc7/7CyW8aaulT7B5fb2gHuMAlfZ6XAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-16T16:13:52.891597Z","bundle_sha256":"a078a56974074663cf33a539fce93f597c57ca2ff8d226b3e70c93a6ca181e5d"}}