{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:T2HYFG45KR3NSLVLR4O62PF6Q5","short_pith_number":"pith:T2HYFG45","canonical_record":{"source":{"id":"2006.03031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-06-04T17:39:58Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b60b70f79106721a8f0d3cefb52d97dc89475fa9531cbdbe6135e49e014a854e","abstract_canon_sha256":"67f54bd321ad089d1924a36a1a486b95c339880de90855b20a94d0bf9e5145c9"},"schema_version":"1.0"},"canonical_sha256":"9e8f829b9d5476d92eab8f1ded3cbe87716da1f93df41845fc1a84b6b7b02d98","source":{"kind":"arxiv","id":"2006.03031","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.03031","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"arxiv_version","alias_value":"2006.03031v2","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.03031","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_12","alias_value":"T2HYFG45KR3N","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_16","alias_value":"T2HYFG45KR3NSLVL","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_8","alias_value":"T2HYFG45","created_at":"2026-07-05T02:22:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:T2HYFG45KR3NSLVLR4O62PF6Q5","target":"record","payload":{"canonical_record":{"source":{"id":"2006.03031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-06-04T17:39:58Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"b60b70f79106721a8f0d3cefb52d97dc89475fa9531cbdbe6135e49e014a854e","abstract_canon_sha256":"67f54bd321ad089d1924a36a1a486b95c339880de90855b20a94d0bf9e5145c9"},"schema_version":"1.0"},"canonical_sha256":"9e8f829b9d5476d92eab8f1ded3cbe87716da1f93df41845fc1a84b6b7b02d98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:22:22.575732Z","signature_b64":"KfhbUefPTwdLPD11lOHupCGe9mwqSsaVqH0uFeCyYose8OruaEf8QmiJ+vj+0dVmMj1sd/204f0JWYul+AbDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9e8f829b9d5476d92eab8f1ded3cbe87716da1f93df41845fc1a84b6b7b02d98","last_reissued_at":"2026-07-05T02:22:22.575221Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:22:22.575221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2006.03031","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-05T02:22:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yvAxqi77vRwnQTDj6jRaCPKkoZZclp87BfsxLJ8gNlm3N8Sl4DiRCWTpne6W9BVmuYSbGm9cMbc8ELHG6kr5Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T09:51:04.594098Z"},"content_sha256":"6896756e4ab7ff0bcabae645c29fcfecf2c60db370f1bcbc3edd35418d9fdf45","schema_version":"1.0","event_id":"sha256:6896756e4ab7ff0bcabae645c29fcfecf2c60db370f1bcbc3edd35418d9fdf45"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:T2HYFG45KR3NSLVLR4O62PF6Q5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.PL","authors_text":"Haichen Shen, Jared Roesch, Mu Li, Vin Sharma, Wei Chen, Yida Wang, Yong Wu, Zachary Tatlock, Zhi Chen","submitted_at":"2020-06-04T17:39:58Z","abstract_excerpt":"Modern deep neural networks increasingly make use of features such as dynamic control flow, data structures and dynamic tensor shapes. Existing deep learning systems focus on optimizing and executing static neural networks which assume a pre-determined model architecture and input data shapes--assumptions which are violated by dynamic neural networks. Therefore, executing dynamic models with deep learning systems is currently both inflexible and sub-optimal, if not impossible. Optimizing dynamic neural networks is more challenging than static neural networks; optimizations must consider all po"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.03031","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/2006.03031/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:22:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0brlYfHZWbEPIOL4HjmbuSAoGIfB/0vTOz4X+9ZZZFlWwq9TM7hQZnNLbUK+XFCczrOP9mLEvkqQWTzEoHNsAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T09:51:04.594443Z"},"content_sha256":"d036c0699e044f91ed703fce421a94a9b29134e25bd0de5a9079c3039584ef46","schema_version":"1.0","event_id":"sha256:d036c0699e044f91ed703fce421a94a9b29134e25bd0de5a9079c3039584ef46"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/bundle.json","state_url":"https://pith.science/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/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-20T09:51:04Z","links":{"resolver":"https://pith.science/pith/T2HYFG45KR3NSLVLR4O62PF6Q5","bundle":"https://pith.science/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/bundle.json","state":"https://pith.science/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T2HYFG45KR3NSLVLR4O62PF6Q5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:T2HYFG45KR3NSLVLR4O62PF6Q5","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":"67f54bd321ad089d1924a36a1a486b95c339880de90855b20a94d0bf9e5145c9","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-06-04T17:39:58Z","title_canon_sha256":"b60b70f79106721a8f0d3cefb52d97dc89475fa9531cbdbe6135e49e014a854e"},"schema_version":"1.0","source":{"id":"2006.03031","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2006.03031","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"arxiv_version","alias_value":"2006.03031v2","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2006.03031","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_12","alias_value":"T2HYFG45KR3N","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_16","alias_value":"T2HYFG45KR3NSLVL","created_at":"2026-07-05T02:22:22Z"},{"alias_kind":"pith_short_8","alias_value":"T2HYFG45","created_at":"2026-07-05T02:22:22Z"}],"graph_snapshots":[{"event_id":"sha256:d036c0699e044f91ed703fce421a94a9b29134e25bd0de5a9079c3039584ef46","target":"graph","created_at":"2026-07-05T02:22:22Z","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/2006.03031/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Modern deep neural networks increasingly make use of features such as dynamic control flow, data structures and dynamic tensor shapes. Existing deep learning systems focus on optimizing and executing static neural networks which assume a pre-determined model architecture and input data shapes--assumptions which are violated by dynamic neural networks. Therefore, executing dynamic models with deep learning systems is currently both inflexible and sub-optimal, if not impossible. Optimizing dynamic neural networks is more challenging than static neural networks; optimizations must consider all po","authors_text":"Haichen Shen, Jared Roesch, Mu Li, Vin Sharma, Wei Chen, Yida Wang, Yong Wu, Zachary Tatlock, Zhi Chen","cross_cats":["cs.LG"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-06-04T17:39:58Z","title":"Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2006.03031","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:6896756e4ab7ff0bcabae645c29fcfecf2c60db370f1bcbc3edd35418d9fdf45","target":"record","created_at":"2026-07-05T02:22:22Z","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":"67f54bd321ad089d1924a36a1a486b95c339880de90855b20a94d0bf9e5145c9","cross_cats_sorted":["cs.LG"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-06-04T17:39:58Z","title_canon_sha256":"b60b70f79106721a8f0d3cefb52d97dc89475fa9531cbdbe6135e49e014a854e"},"schema_version":"1.0","source":{"id":"2006.03031","kind":"arxiv","version":2}},"canonical_sha256":"9e8f829b9d5476d92eab8f1ded3cbe87716da1f93df41845fc1a84b6b7b02d98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9e8f829b9d5476d92eab8f1ded3cbe87716da1f93df41845fc1a84b6b7b02d98","first_computed_at":"2026-07-05T02:22:22.575221Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:22:22.575221Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"KfhbUefPTwdLPD11lOHupCGe9mwqSsaVqH0uFeCyYose8OruaEf8QmiJ+vj+0dVmMj1sd/204f0JWYul+AbDDw==","signature_status":"signed_v1","signed_at":"2026-07-05T02:22:22.575732Z","signed_message":"canonical_sha256_bytes"},"source_id":"2006.03031","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6896756e4ab7ff0bcabae645c29fcfecf2c60db370f1bcbc3edd35418d9fdf45","sha256:d036c0699e044f91ed703fce421a94a9b29134e25bd0de5a9079c3039584ef46"],"state_sha256":"236fd55527e837e81d92ecd15f24b183db27f0ee1109d8a5e89b011fb3896f72"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DY1HBBsLvSm86Eun2hCwaLvFwupKYfYb728Xb7W3yqxTNfXOGYLZv+tlQ9mkzWZxXMexIdveCYjySiUwvJc+Bw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T09:51:04.598049Z","bundle_sha256":"1810ff16c22841620b749923543b800e8086d0a5249b848d8b209a8925bbdb7c"}}