{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:4CHGDUKR2QM2S2RIB424NSDVZ7","short_pith_number":"pith:4CHGDUKR","canonical_record":{"source":{"id":"2410.08025","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-10T15:22:48Z","cross_cats_sorted":["cs.CC","q-bio.NC"],"title_canon_sha256":"1db516fd2ae509ec12fb9e6b3cc272a2cdd0a71b180ea1d508fb7568341a5f41","abstract_canon_sha256":"422083823e26a2850f6974902eee9c9cb59e61aa8514c91ac29c165f0b711167"},"schema_version":"1.0"},"canonical_sha256":"e08e61d151d419a96a280f35c6c875cfe4006e08d0f57c795185c7eae69c3d54","source":{"kind":"arxiv","id":"2410.08025","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.08025","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"arxiv_version","alias_value":"2410.08025v3","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.08025","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_12","alias_value":"4CHGDUKR2QM2","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_16","alias_value":"4CHGDUKR2QM2S2RI","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_8","alias_value":"4CHGDUKR","created_at":"2026-07-05T10:42:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:4CHGDUKR2QM2S2RIB424NSDVZ7","target":"record","payload":{"canonical_record":{"source":{"id":"2410.08025","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-10T15:22:48Z","cross_cats_sorted":["cs.CC","q-bio.NC"],"title_canon_sha256":"1db516fd2ae509ec12fb9e6b3cc272a2cdd0a71b180ea1d508fb7568341a5f41","abstract_canon_sha256":"422083823e26a2850f6974902eee9c9cb59e61aa8514c91ac29c165f0b711167"},"schema_version":"1.0"},"canonical_sha256":"e08e61d151d419a96a280f35c6c875cfe4006e08d0f57c795185c7eae69c3d54","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:42:37.886890Z","signature_b64":"M3A+LeyO6uznR60zJCVPXe43wHsIduyw/JG4fGDuN3WpG6b0hjpioQjNxGP1HWifknS4Rm4MYcizLEyg39f1CA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e08e61d151d419a96a280f35c6c875cfe4006e08d0f57c795185c7eae69c3d54","last_reissued_at":"2026-07-05T10:42:37.886397Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:42:37.886397Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2410.08025","source_version":3,"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-05T10:42:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YPCvHXGVMCJBXjvu4L11SABXHEIXSCYoJrk+nmrorKExjWsHmmaBpltlI3NdRAaLcNs0PqwyRbyw5qp6KuguBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:11:12.914234Z"},"content_sha256":"a9297ffa698fd36fa67ebd560a22eaba080e746a1fb515ddd8885fa2ed11762e","schema_version":"1.0","event_id":"sha256:a9297ffa698fd36fa67ebd560a22eaba080e746a1fb515ddd8885fa2ed11762e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:4CHGDUKR2QM2S2RIB424NSDVZ7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Computational Complexity of Circuit Discovery for Inner Interpretability","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.CC","q-bio.NC"],"primary_cat":"cs.AI","authors_text":"Federico Adolfi, Martina G. Vilas, Todd Wareham","submitted_at":"2024-10-10T15:22:48Z","abstract_excerpt":"Many proposed applications of neural networks in machine learning, cognitive/brain science, and society hinge on the feasibility of inner interpretability via circuit discovery. This calls for empirical and theoretical explorations of viable algorithmic options. Despite advances in the design and testing of heuristics, there are concerns about their scalability and faithfulness at a time when we lack understanding of the complexity properties of the problems they are deployed to solve. To address this, we study circuit discovery with classical and parameterized computational complexity theory:"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.08025","kind":"arxiv","version":3},"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/2410.08025/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-05T10:42:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZBc3ji61Xr3YeY+bkv8jUfXhcptXW+DZEAr5SSslw2em5mBmFpdgL5oVdJE6bWsvgsCVqZS8Nz+UEE0PhIOrBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T00:11:12.915150Z"},"content_sha256":"d1b1cf29c19685cca51a2e6d889a2ea95e5d3b1175bcea7af8fe400296bb2b33","schema_version":"1.0","event_id":"sha256:d1b1cf29c19685cca51a2e6d889a2ea95e5d3b1175bcea7af8fe400296bb2b33"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/bundle.json","state_url":"https://pith.science/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/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-10T00:11:12Z","links":{"resolver":"https://pith.science/pith/4CHGDUKR2QM2S2RIB424NSDVZ7","bundle":"https://pith.science/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/bundle.json","state":"https://pith.science/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4CHGDUKR2QM2S2RIB424NSDVZ7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:4CHGDUKR2QM2S2RIB424NSDVZ7","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":"422083823e26a2850f6974902eee9c9cb59e61aa8514c91ac29c165f0b711167","cross_cats_sorted":["cs.CC","q-bio.NC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-10T15:22:48Z","title_canon_sha256":"1db516fd2ae509ec12fb9e6b3cc272a2cdd0a71b180ea1d508fb7568341a5f41"},"schema_version":"1.0","source":{"id":"2410.08025","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2410.08025","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"arxiv_version","alias_value":"2410.08025v3","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2410.08025","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_12","alias_value":"4CHGDUKR2QM2","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_16","alias_value":"4CHGDUKR2QM2S2RI","created_at":"2026-07-05T10:42:37Z"},{"alias_kind":"pith_short_8","alias_value":"4CHGDUKR","created_at":"2026-07-05T10:42:37Z"}],"graph_snapshots":[{"event_id":"sha256:d1b1cf29c19685cca51a2e6d889a2ea95e5d3b1175bcea7af8fe400296bb2b33","target":"graph","created_at":"2026-07-05T10:42:37Z","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/2410.08025/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Many proposed applications of neural networks in machine learning, cognitive/brain science, and society hinge on the feasibility of inner interpretability via circuit discovery. This calls for empirical and theoretical explorations of viable algorithmic options. Despite advances in the design and testing of heuristics, there are concerns about their scalability and faithfulness at a time when we lack understanding of the complexity properties of the problems they are deployed to solve. To address this, we study circuit discovery with classical and parameterized computational complexity theory:","authors_text":"Federico Adolfi, Martina G. Vilas, Todd Wareham","cross_cats":["cs.CC","q-bio.NC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-10T15:22:48Z","title":"The Computational Complexity of Circuit Discovery for Inner Interpretability"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2410.08025","kind":"arxiv","version":3},"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:a9297ffa698fd36fa67ebd560a22eaba080e746a1fb515ddd8885fa2ed11762e","target":"record","created_at":"2026-07-05T10:42:37Z","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":"422083823e26a2850f6974902eee9c9cb59e61aa8514c91ac29c165f0b711167","cross_cats_sorted":["cs.CC","q-bio.NC"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.AI","submitted_at":"2024-10-10T15:22:48Z","title_canon_sha256":"1db516fd2ae509ec12fb9e6b3cc272a2cdd0a71b180ea1d508fb7568341a5f41"},"schema_version":"1.0","source":{"id":"2410.08025","kind":"arxiv","version":3}},"canonical_sha256":"e08e61d151d419a96a280f35c6c875cfe4006e08d0f57c795185c7eae69c3d54","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e08e61d151d419a96a280f35c6c875cfe4006e08d0f57c795185c7eae69c3d54","first_computed_at":"2026-07-05T10:42:37.886397Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:42:37.886397Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"M3A+LeyO6uznR60zJCVPXe43wHsIduyw/JG4fGDuN3WpG6b0hjpioQjNxGP1HWifknS4Rm4MYcizLEyg39f1CA==","signature_status":"signed_v1","signed_at":"2026-07-05T10:42:37.886890Z","signed_message":"canonical_sha256_bytes"},"source_id":"2410.08025","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a9297ffa698fd36fa67ebd560a22eaba080e746a1fb515ddd8885fa2ed11762e","sha256:d1b1cf29c19685cca51a2e6d889a2ea95e5d3b1175bcea7af8fe400296bb2b33"],"state_sha256":"7765f8b19664f88fac839f6c8c77baa0aa92fa5d6082ef7b97c8a79d0eafc99d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cKrFtXFkwfswAA4QMc2et6oaQ0LGQuq3DglTjj/GTSjgaeBsCm3wWtZGiMA6JjMWuaLvLDYRPiadtxP5NA/QDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T00:11:12.923941Z","bundle_sha256":"f555d4f22fac74f67d1598913b166d3cc51b28ea91eb5418db51d4083a8dcbb4"}}