{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:K5WXGLBQKNNCHO3TBJNGOIZUS7","short_pith_number":"pith:K5WXGLBQ","canonical_record":{"source":{"id":"2502.11639","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-17T10:33:24Z","cross_cats_sorted":["cs.AI","cs.NE"],"title_canon_sha256":"866fdbbd234eb9f8f888192ba18634e1c957cd4e6eaf8233885c062a24dc68a7","abstract_canon_sha256":"7e0536637d09ead49bdc27083825c05db093cb136182d083500fdf0a25fbb0ad"},"schema_version":"1.0"},"canonical_sha256":"576d732c30535a23bb730a5a67233497e97ce9f861bf854529535f48e526d8f1","source":{"kind":"arxiv","id":"2502.11639","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.11639","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"arxiv_version","alias_value":"2502.11639v2","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.11639","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_12","alias_value":"K5WXGLBQKNNC","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_16","alias_value":"K5WXGLBQKNNCHO3T","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_8","alias_value":"K5WXGLBQ","created_at":"2026-07-05T10:23:29Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:K5WXGLBQKNNCHO3TBJNGOIZUS7","target":"record","payload":{"canonical_record":{"source":{"id":"2502.11639","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-17T10:33:24Z","cross_cats_sorted":["cs.AI","cs.NE"],"title_canon_sha256":"866fdbbd234eb9f8f888192ba18634e1c957cd4e6eaf8233885c062a24dc68a7","abstract_canon_sha256":"7e0536637d09ead49bdc27083825c05db093cb136182d083500fdf0a25fbb0ad"},"schema_version":"1.0"},"canonical_sha256":"576d732c30535a23bb730a5a67233497e97ce9f861bf854529535f48e526d8f1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:23:29.501896Z","signature_b64":"PlX31AtnN63Ar+nXf6ljnpxrFm8+ILMDI/O6N8yXTC+DpX/0SMBHdo+VnoDeiJgdH8wYFqmhkv6oax50x7a0AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"576d732c30535a23bb730a5a67233497e97ce9f861bf854529535f48e526d8f1","last_reissued_at":"2026-07-05T10:23:29.500993Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:23:29.500993Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.11639","source_version":2,"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:23:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2AheP3L8TpC5WhtB0/FCbQMSbg7oiI5ahv/DwcAl/t3xkJw93ufxr1Fhp+bYE4JAcgq6vNbEsm6J59ZTKPCgDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:18:34.267187Z"},"content_sha256":"99c8f6369e54a11bc554985adad90fc85a0076669c00304844ff0bc49b372f4c","schema_version":"1.0","event_id":"sha256:99c8f6369e54a11bc554985adad90fc85a0076669c00304844ff0bc49b372f4c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:K5WXGLBQKNNCHO3TBJNGOIZUS7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Neural Interpretable Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.NE"],"primary_cat":"cs.LG","authors_text":"David Debot, Francesco De Santis, Francesco Giannini, Gabriele Ciravegna, Giuseppe Marra, Mateo Espinosa Zarlenga, Michelangelo Diligenti, Pietro Barbiero","submitted_at":"2025-02-17T10:33:24Z","abstract_excerpt":"We formalize a novel modeling framework for achieving interpretability in deep learning, anchored in the principle of inference equivariance. While the direct verification of interpretability scales exponentially with the number of variables of the system, we show that this complexity can be mitigated by treating interpretability as a Markovian property and employing neural re-parametrization techniques. Building on these insights, we propose a new modeling paradigm -- neural generation and interpretable execution -- that enables scalable verification of equivariance. This paradigm provides a "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.11639","kind":"arxiv","version":2},"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/2502.11639/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:23:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PFRwXtU21/F36Fzayg62YK6qW9XdhTaCt74jZZHr/wg7/iWnYHhjUTJE9B1rfIoIvK6WiogKzrW7GDgszv80DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T09:18:34.267691Z"},"content_sha256":"5da517e92bd95440f49e59c3bb42db773c7ee9faced7abf58412c829fabe4bdf","schema_version":"1.0","event_id":"sha256:5da517e92bd95440f49e59c3bb42db773c7ee9faced7abf58412c829fabe4bdf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/bundle.json","state_url":"https://pith.science/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/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-09T09:18:34Z","links":{"resolver":"https://pith.science/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7","bundle":"https://pith.science/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/bundle.json","state":"https://pith.science/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/K5WXGLBQKNNCHO3TBJNGOIZUS7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:K5WXGLBQKNNCHO3TBJNGOIZUS7","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":"7e0536637d09ead49bdc27083825c05db093cb136182d083500fdf0a25fbb0ad","cross_cats_sorted":["cs.AI","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-17T10:33:24Z","title_canon_sha256":"866fdbbd234eb9f8f888192ba18634e1c957cd4e6eaf8233885c062a24dc68a7"},"schema_version":"1.0","source":{"id":"2502.11639","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.11639","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"arxiv_version","alias_value":"2502.11639v2","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.11639","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_12","alias_value":"K5WXGLBQKNNC","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_16","alias_value":"K5WXGLBQKNNCHO3T","created_at":"2026-07-05T10:23:29Z"},{"alias_kind":"pith_short_8","alias_value":"K5WXGLBQ","created_at":"2026-07-05T10:23:29Z"}],"graph_snapshots":[{"event_id":"sha256:5da517e92bd95440f49e59c3bb42db773c7ee9faced7abf58412c829fabe4bdf","target":"graph","created_at":"2026-07-05T10:23:29Z","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/2502.11639/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We formalize a novel modeling framework for achieving interpretability in deep learning, anchored in the principle of inference equivariance. While the direct verification of interpretability scales exponentially with the number of variables of the system, we show that this complexity can be mitigated by treating interpretability as a Markovian property and employing neural re-parametrization techniques. Building on these insights, we propose a new modeling paradigm -- neural generation and interpretable execution -- that enables scalable verification of equivariance. This paradigm provides a ","authors_text":"David Debot, Francesco De Santis, Francesco Giannini, Gabriele Ciravegna, Giuseppe Marra, Mateo Espinosa Zarlenga, Michelangelo Diligenti, Pietro Barbiero","cross_cats":["cs.AI","cs.NE"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-17T10:33:24Z","title":"Neural Interpretable Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.11639","kind":"arxiv","version":2},"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:99c8f6369e54a11bc554985adad90fc85a0076669c00304844ff0bc49b372f4c","target":"record","created_at":"2026-07-05T10:23:29Z","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":"7e0536637d09ead49bdc27083825c05db093cb136182d083500fdf0a25fbb0ad","cross_cats_sorted":["cs.AI","cs.NE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LG","submitted_at":"2025-02-17T10:33:24Z","title_canon_sha256":"866fdbbd234eb9f8f888192ba18634e1c957cd4e6eaf8233885c062a24dc68a7"},"schema_version":"1.0","source":{"id":"2502.11639","kind":"arxiv","version":2}},"canonical_sha256":"576d732c30535a23bb730a5a67233497e97ce9f861bf854529535f48e526d8f1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"576d732c30535a23bb730a5a67233497e97ce9f861bf854529535f48e526d8f1","first_computed_at":"2026-07-05T10:23:29.500993Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:23:29.500993Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"PlX31AtnN63Ar+nXf6ljnpxrFm8+ILMDI/O6N8yXTC+DpX/0SMBHdo+VnoDeiJgdH8wYFqmhkv6oax50x7a0AQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:23:29.501896Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.11639","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:99c8f6369e54a11bc554985adad90fc85a0076669c00304844ff0bc49b372f4c","sha256:5da517e92bd95440f49e59c3bb42db773c7ee9faced7abf58412c829fabe4bdf"],"state_sha256":"2485f1ff50b951073c29f31e36d5d8b717260eeea5079c4b622950a6006ac471"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Eg0mFItAq1MK+eEtNzOFhe5+u2b3I0aTObkzFQqXI3VwbUbJiev0cCPEA1P5oqgFFtmKmJHXDh7POIXBpoSLDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T09:18:34.271122Z","bundle_sha256":"760d766b777be5af491fb79192056226d8936f28d56491fc53bd35b8fcebd4e0"}}