{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:6QGMGU6DGQ2WAPUITO7DYBIMDE","short_pith_number":"pith:6QGMGU6D","canonical_record":{"source":{"id":"2605.22964","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-21T18:49:38Z","cross_cats_sorted":[],"title_canon_sha256":"57c816c37a51e4fd4471c38334c7b1912657f0b0d15b382bb96e6cc2bb3242fb","abstract_canon_sha256":"7bbcd31f967929fcf81567698fe62f2d99b3d55155a3fa1dd4550474ee4f4b60"},"schema_version":"1.0"},"canonical_sha256":"f40cc353c33435603e889bbe3c050c19377db27f0d23c505494a7e92518a64f1","source":{"kind":"arxiv","id":"2605.22964","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22964","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22964v1","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22964","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"6QGMGU6DGQ2W","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_16","alias_value":"6QGMGU6DGQ2WAPUI","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_8","alias_value":"6QGMGU6D","created_at":"2026-05-25T02:01:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:6QGMGU6DGQ2WAPUITO7DYBIMDE","target":"record","payload":{"canonical_record":{"source":{"id":"2605.22964","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-21T18:49:38Z","cross_cats_sorted":[],"title_canon_sha256":"57c816c37a51e4fd4471c38334c7b1912657f0b0d15b382bb96e6cc2bb3242fb","abstract_canon_sha256":"7bbcd31f967929fcf81567698fe62f2d99b3d55155a3fa1dd4550474ee4f4b60"},"schema_version":"1.0"},"canonical_sha256":"f40cc353c33435603e889bbe3c050c19377db27f0d23c505494a7e92518a64f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:01:32.442580Z","signature_b64":"UES/xTk/ShA/PTpIBBT1Nbt1OA98/GC8wLwIwWA3oR//nvSOBF2lzr3b1FJHqbUvqBVEWFLMVLw30uw3HqiaBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f40cc353c33435603e889bbe3c050c19377db27f0d23c505494a7e92518a64f1","last_reissued_at":"2026-05-25T02:01:32.441942Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:01:32.441942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2605.22964","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-05-25T02:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gGYX6nG1khLhnKTHkH2Sxh6pkA6YJh/GnOJNbBeGbnoACKpF1N20V9UHvMIr4uuNI6ly386wfBlLhnWreXTuCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:48:49.853477Z"},"content_sha256":"e626d6badc2ef2e2e5cbe5087c11b0d273368c62bf08f1761a5da304d8513c40","schema_version":"1.0","event_id":"sha256:e626d6badc2ef2e2e5cbe5087c11b0d273368c62bf08f1761a5da304d8513c40"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:6QGMGU6DGQ2WAPUITO7DYBIMDE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.LG","authors_text":"Artur Back de Luca, Kimon Fountoulakis","submitted_at":"2026-05-21T18:49:38Z","abstract_excerpt":"As state-of-the-art neural networks are deployed on reasoning and algorithmic tasks, exactness guarantees become increasingly important. However, high average-case accuracy can still mask inconsistent behaviors. This motivates exact certification, which asks for the smallest set of labeled examples needed to certify that a learned hypothesis equals the target. We show that while some hypotheses are easy to certify, even minimal overparametrization can make certification exponentially hard across several hypothesis classes. For threshold circuits of depth $\\ge 2$, adding a single extra gate can"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22964","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/2605.22964/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-05-25T02:01:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yCHMq8g73j4TJ2GsvdbwXWQAzIa1BbwBFTzboOlmVXQAbDiTojSUXB8NQx+8JVs+Xgt1KEAWdO4iEmWgEEP7Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T23:48:49.853851Z"},"content_sha256":"cfcf096567c94f6bd99caab6da8888c0bcb9441dab3b39bb2e79aa94b233e31a","schema_version":"1.0","event_id":"sha256:cfcf096567c94f6bd99caab6da8888c0bcb9441dab3b39bb2e79aa94b233e31a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/bundle.json","state_url":"https://pith.science/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/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-06-01T23:48:49Z","links":{"resolver":"https://pith.science/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE","bundle":"https://pith.science/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/bundle.json","state":"https://pith.science/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6QGMGU6DGQ2WAPUITO7DYBIMDE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6QGMGU6DGQ2WAPUITO7DYBIMDE","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":"7bbcd31f967929fcf81567698fe62f2d99b3d55155a3fa1dd4550474ee4f4b60","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-21T18:49:38Z","title_canon_sha256":"57c816c37a51e4fd4471c38334c7b1912657f0b0d15b382bb96e6cc2bb3242fb"},"schema_version":"1.0","source":{"id":"2605.22964","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.22964","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"arxiv_version","alias_value":"2605.22964v1","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.22964","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_12","alias_value":"6QGMGU6DGQ2W","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_16","alias_value":"6QGMGU6DGQ2WAPUI","created_at":"2026-05-25T02:01:32Z"},{"alias_kind":"pith_short_8","alias_value":"6QGMGU6D","created_at":"2026-05-25T02:01:32Z"}],"graph_snapshots":[{"event_id":"sha256:cfcf096567c94f6bd99caab6da8888c0bcb9441dab3b39bb2e79aa94b233e31a","target":"graph","created_at":"2026-05-25T02:01:32Z","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/2605.22964/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"As state-of-the-art neural networks are deployed on reasoning and algorithmic tasks, exactness guarantees become increasingly important. However, high average-case accuracy can still mask inconsistent behaviors. This motivates exact certification, which asks for the smallest set of labeled examples needed to certify that a learned hypothesis equals the target. We show that while some hypotheses are easy to certify, even minimal overparametrization can make certification exponentially hard across several hypothesis classes. For threshold circuits of depth $\\ge 2$, adding a single extra gate can","authors_text":"Artur Back de Luca, Kimon Fountoulakis","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-21T18:49:38Z","title":"Certification from Examples is Hard for Circuits and Transformers under Minimal Overparametrization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2605.22964","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:e626d6badc2ef2e2e5cbe5087c11b0d273368c62bf08f1761a5da304d8513c40","target":"record","created_at":"2026-05-25T02:01:32Z","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":"7bbcd31f967929fcf81567698fe62f2d99b3d55155a3fa1dd4550474ee4f4b60","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2026-05-21T18:49:38Z","title_canon_sha256":"57c816c37a51e4fd4471c38334c7b1912657f0b0d15b382bb96e6cc2bb3242fb"},"schema_version":"1.0","source":{"id":"2605.22964","kind":"arxiv","version":1}},"canonical_sha256":"f40cc353c33435603e889bbe3c050c19377db27f0d23c505494a7e92518a64f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f40cc353c33435603e889bbe3c050c19377db27f0d23c505494a7e92518a64f1","first_computed_at":"2026-05-25T02:01:32.441942Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:01:32.441942Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UES/xTk/ShA/PTpIBBT1Nbt1OA98/GC8wLwIwWA3oR//nvSOBF2lzr3b1FJHqbUvqBVEWFLMVLw30uw3HqiaBQ==","signature_status":"signed_v1","signed_at":"2026-05-25T02:01:32.442580Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.22964","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e626d6badc2ef2e2e5cbe5087c11b0d273368c62bf08f1761a5da304d8513c40","sha256:cfcf096567c94f6bd99caab6da8888c0bcb9441dab3b39bb2e79aa94b233e31a"],"state_sha256":"6e58c9eda06418f6b3043e728e8cc7b6fd5e25452b33f2beeaf486265b6f2578"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9FpeJrI7EeZozoCF+MMu+OaDuQJidPN1ZuciRJX8HoStoq+dN/tznYcJoBYEW+DuwW7/CiYTVNEVMOz38qa/Dg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T23:48:49.855834Z","bundle_sha256":"a74694a880a9163d915c7594887d08a523ad2a104220e1ffbe59deb4ed0215a7"}}