{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:L3TA26Y6ATPUXBRCJ2QQX6FTKG","short_pith_number":"pith:L3TA26Y6","canonical_record":{"source":{"id":"2103.00124","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-02-27T04:28:11Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"6ed68b3f15584183dd0b2b8ed85505f5cc454ce2d239838bdd6ac24d340ae732","abstract_canon_sha256":"70da4bb24685c05baa1e3a7a7ee6d228f8a5388bd7b1351a5931e2412f4fe3b7"},"schema_version":"1.0"},"canonical_sha256":"5ee60d7b1e04df4b86224ea10bf8b35191f8d0176a5536ef38c8069fcd3b1a8e","source":{"kind":"arxiv","id":"2103.00124","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.00124","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"2103.00124v1","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.00124","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"L3TA26Y6ATPU","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_16","alias_value":"L3TA26Y6ATPUXBRC","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_8","alias_value":"L3TA26Y6","created_at":"2026-07-05T02:19:02Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:L3TA26Y6ATPUXBRCJ2QQX6FTKG","target":"record","payload":{"canonical_record":{"source":{"id":"2103.00124","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-02-27T04:28:11Z","cross_cats_sorted":["cs.AI","cs.SE"],"title_canon_sha256":"6ed68b3f15584183dd0b2b8ed85505f5cc454ce2d239838bdd6ac24d340ae732","abstract_canon_sha256":"70da4bb24685c05baa1e3a7a7ee6d228f8a5388bd7b1351a5931e2412f4fe3b7"},"schema_version":"1.0"},"canonical_sha256":"5ee60d7b1e04df4b86224ea10bf8b35191f8d0176a5536ef38c8069fcd3b1a8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:19:02.615959Z","signature_b64":"7or8tW2QRNrGwZ/goPEecqB91iTm9QfPxHnSyBctkI/y1cD7j24dR1R6coi+qPP2oTgGIQDrb6yf8h9bH/kSCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5ee60d7b1e04df4b86224ea10bf8b35191f8d0176a5536ef38c8069fcd3b1a8e","last_reissued_at":"2026-07-05T02:19:02.615603Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:19:02.615603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2103.00124","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-05T02:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nvoo1jbk53aGKsAcSayPwHmHreXaHmDahURJ7/yntXyMeUP+GRBBEVAJ2EzaVd95cwRwa4JtXZLKtsdB8KedDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T06:21:53.291926Z"},"content_sha256":"ba704225774199ab026df8859b090f7b6a7cef19fabfe77a26493bd16931c7f2","schema_version":"1.0","event_id":"sha256:ba704225774199ab026df8859b090f7b6a7cef19fabfe77a26493bd16931c7f2"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:L3TA26Y6ATPUXBRCJ2QQX6FTKG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NEUROSPF: A tool for the Symbolic Analysis of Neural Networks","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","cs.SE"],"primary_cat":"cs.LG","authors_text":"Corina Pasareanu, Divya Gopinath, Muhammad Usman, Yannic Noller, Youcheng Sun","submitted_at":"2021-02-27T04:28:11Z","abstract_excerpt":"This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model's parameters, thereby enabling efficient analysis. With NEUROSPF the user has the flexibility to specify either the inputs or the network internal parameters as symbolic, promoting the application of program analysis a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.00124","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/2103.00124/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-05T02:19:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vBwixQeCVlXQkCYj+PX9vEh2kQibTd69Wm4GImTsUCBzyaOwaHh9aqwdmoJ8UFbYxiXPDhh05eFXoFVvK4T9Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-15T06:21:53.292442Z"},"content_sha256":"f4decd84a3c02ce51ef9b5c4d6a0e451d43102295975aa919858ef4031e6723c","schema_version":"1.0","event_id":"sha256:f4decd84a3c02ce51ef9b5c4d6a0e451d43102295975aa919858ef4031e6723c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/bundle.json","state_url":"https://pith.science/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/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-15T06:21:53Z","links":{"resolver":"https://pith.science/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG","bundle":"https://pith.science/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/bundle.json","state":"https://pith.science/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/L3TA26Y6ATPUXBRCJ2QQX6FTKG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:L3TA26Y6ATPUXBRCJ2QQX6FTKG","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":"70da4bb24685c05baa1e3a7a7ee6d228f8a5388bd7b1351a5931e2412f4fe3b7","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-02-27T04:28:11Z","title_canon_sha256":"6ed68b3f15584183dd0b2b8ed85505f5cc454ce2d239838bdd6ac24d340ae732"},"schema_version":"1.0","source":{"id":"2103.00124","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2103.00124","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"arxiv_version","alias_value":"2103.00124v1","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2103.00124","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_12","alias_value":"L3TA26Y6ATPU","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_16","alias_value":"L3TA26Y6ATPUXBRC","created_at":"2026-07-05T02:19:02Z"},{"alias_kind":"pith_short_8","alias_value":"L3TA26Y6","created_at":"2026-07-05T02:19:02Z"}],"graph_snapshots":[{"event_id":"sha256:f4decd84a3c02ce51ef9b5c4d6a0e451d43102295975aa919858ef4031e6723c","target":"graph","created_at":"2026-07-05T02:19:02Z","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/2103.00124/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic execution tool. Notably, NEUROSPF encodes specialized peer classes for parsing the model's parameters, thereby enabling efficient analysis. With NEUROSPF the user has the flexibility to specify either the inputs or the network internal parameters as symbolic, promoting the application of program analysis a","authors_text":"Corina Pasareanu, Divya Gopinath, Muhammad Usman, Yannic Noller, Youcheng Sun","cross_cats":["cs.AI","cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-02-27T04:28:11Z","title":"NEUROSPF: A tool for the Symbolic Analysis of Neural Networks"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2103.00124","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:ba704225774199ab026df8859b090f7b6a7cef19fabfe77a26493bd16931c7f2","target":"record","created_at":"2026-07-05T02:19:02Z","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":"70da4bb24685c05baa1e3a7a7ee6d228f8a5388bd7b1351a5931e2412f4fe3b7","cross_cats_sorted":["cs.AI","cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2021-02-27T04:28:11Z","title_canon_sha256":"6ed68b3f15584183dd0b2b8ed85505f5cc454ce2d239838bdd6ac24d340ae732"},"schema_version":"1.0","source":{"id":"2103.00124","kind":"arxiv","version":1}},"canonical_sha256":"5ee60d7b1e04df4b86224ea10bf8b35191f8d0176a5536ef38c8069fcd3b1a8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ee60d7b1e04df4b86224ea10bf8b35191f8d0176a5536ef38c8069fcd3b1a8e","first_computed_at":"2026-07-05T02:19:02.615603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:19:02.615603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7or8tW2QRNrGwZ/goPEecqB91iTm9QfPxHnSyBctkI/y1cD7j24dR1R6coi+qPP2oTgGIQDrb6yf8h9bH/kSCw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:19:02.615959Z","signed_message":"canonical_sha256_bytes"},"source_id":"2103.00124","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba704225774199ab026df8859b090f7b6a7cef19fabfe77a26493bd16931c7f2","sha256:f4decd84a3c02ce51ef9b5c4d6a0e451d43102295975aa919858ef4031e6723c"],"state_sha256":"5f8378eb664b467086c85f2547b2b4dcdd4beb43c5cd6c68f04a4bf4d8a766c0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RycZzV+BJRlbUgkQT9NBdwMwCqPgoRT4a8+fpIAjXq0H57zB/qJFFNVxDZL0iZFW/HX4yrvbm0JnLXnVhrRYCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-15T06:21:53.297745Z","bundle_sha256":"2c7ba9ced5c038f1e653d4c0dcd1045c77cefb18c7dd7978a97eb8252c92070a"}}