{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:CX2VU6WSXSRCS5OACLEJ54QMVZ","short_pith_number":"pith:CX2VU6WS","canonical_record":{"source":{"id":"1906.05676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-12T02:59:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1a10ca950d3e2ebc3f6a1901154c003deefcd174f6126cef7c224cfa876026f1","abstract_canon_sha256":"f52966afd5e9974dc684c37c7370e5924cdf235225380fe6f150763a1c455f6f"},"schema_version":"1.0"},"canonical_sha256":"15f55a7ad2bca22975c012c89ef20cae6f1d097c7e0f6f0646632619ddeddc64","source":{"kind":"arxiv","id":"1906.05676","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.05676","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"arxiv_version","alias_value":"1906.05676v1","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.05676","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"pith_short_12","alias_value":"CX2VU6WSXSRC","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"CX2VU6WSXSRCS5OA","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"CX2VU6WS","created_at":"2026-05-18T12:33:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:CX2VU6WSXSRCS5OACLEJ54QMVZ","target":"record","payload":{"canonical_record":{"source":{"id":"1906.05676","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-12T02:59:16Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"1a10ca950d3e2ebc3f6a1901154c003deefcd174f6126cef7c224cfa876026f1","abstract_canon_sha256":"f52966afd5e9974dc684c37c7370e5924cdf235225380fe6f150763a1c455f6f"},"schema_version":"1.0"},"canonical_sha256":"15f55a7ad2bca22975c012c89ef20cae6f1d097c7e0f6f0646632619ddeddc64","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:43:24.639905Z","signature_b64":"BJx10gH2BLCBwoSR9hqh0d3/d1OPt65ui5I59MVqofqPLuH73tcf1T49b4e7F9G36FWWusPKwtiJWBRWTTTdDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15f55a7ad2bca22975c012c89ef20cae6f1d097c7e0f6f0646632619ddeddc64","last_reissued_at":"2026-05-17T23:43:24.639497Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:43:24.639497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1906.05676","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-17T23:43:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0AMq7GskSiQsHHYoGqFkTMyXGdXJgJr6J9MFu9HgRwKwTXxYMLYqLjKjwYRPwia132XFYELPIoj1m6qOjvGJCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T08:36:13.024553Z"},"content_sha256":"9a80bb359299386d386dbc5a6e3b02a63560f764b50d062008c9c20cc664c69e","schema_version":"1.0","event_id":"sha256:9a80bb359299386d386dbc5a6e3b02a63560f764b50d062008c9c20cc664c69e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:CX2VU6WSXSRCS5OACLEJ54QMVZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sionnx: Automatic Unit Test Generator for ONNX Conformance","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Guoyang Chen, Peng Zhou, Shuhan Ding, Weifeng Zhang, Xinli Cai","submitted_at":"2019-06-12T02:59:16Z","abstract_excerpt":"Open Neural Network Exchange (ONNX) is an open format to represent AI models and is supported by many machine learning frameworks. While ONNX defines unified and portable computation operators across various frameworks, the conformance tests for those operators are insufficient, which makes it difficult to verify if an operator's behavior in an ONNX backend implementation complies with the ONNX standard. In this paper, we present the first automatic unit test generator named Sionnx for verifying the compliance of ONNX implementation. First, we propose a compact yet complete set of rules to des"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.05676","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":""},"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-17T23:43:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2YOHQMaGLvgf5LWRcRFwJs74DJyKqwT5hdWYgYdoC2+gbLxxKayVDHcK347jX3h0sGStawIwnaw79/D3X38MAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-28T08:36:13.024899Z"},"content_sha256":"3254bdc6f30fb4887f4d364eebf885d1d4524c1917c37c47171f455793550267","schema_version":"1.0","event_id":"sha256:3254bdc6f30fb4887f4d364eebf885d1d4524c1917c37c47171f455793550267"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/bundle.json","state_url":"https://pith.science/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/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-28T08:36:13Z","links":{"resolver":"https://pith.science/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ","bundle":"https://pith.science/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/bundle.json","state":"https://pith.science/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CX2VU6WSXSRCS5OACLEJ54QMVZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:CX2VU6WSXSRCS5OACLEJ54QMVZ","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":"f52966afd5e9974dc684c37c7370e5924cdf235225380fe6f150763a1c455f6f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-12T02:59:16Z","title_canon_sha256":"1a10ca950d3e2ebc3f6a1901154c003deefcd174f6126cef7c224cfa876026f1"},"schema_version":"1.0","source":{"id":"1906.05676","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.05676","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"arxiv_version","alias_value":"1906.05676v1","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.05676","created_at":"2026-05-17T23:43:24Z"},{"alias_kind":"pith_short_12","alias_value":"CX2VU6WSXSRC","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_16","alias_value":"CX2VU6WSXSRCS5OA","created_at":"2026-05-18T12:33:15Z"},{"alias_kind":"pith_short_8","alias_value":"CX2VU6WS","created_at":"2026-05-18T12:33:15Z"}],"graph_snapshots":[{"event_id":"sha256:3254bdc6f30fb4887f4d364eebf885d1d4524c1917c37c47171f455793550267","target":"graph","created_at":"2026-05-17T23:43:24Z","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"},"paper":{"abstract_excerpt":"Open Neural Network Exchange (ONNX) is an open format to represent AI models and is supported by many machine learning frameworks. While ONNX defines unified and portable computation operators across various frameworks, the conformance tests for those operators are insufficient, which makes it difficult to verify if an operator's behavior in an ONNX backend implementation complies with the ONNX standard. In this paper, we present the first automatic unit test generator named Sionnx for verifying the compliance of ONNX implementation. First, we propose a compact yet complete set of rules to des","authors_text":"Guoyang Chen, Peng Zhou, Shuhan Ding, Weifeng Zhang, Xinli Cai","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-12T02:59:16Z","title":"Sionnx: Automatic Unit Test Generator for ONNX Conformance"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.05676","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:9a80bb359299386d386dbc5a6e3b02a63560f764b50d062008c9c20cc664c69e","target":"record","created_at":"2026-05-17T23:43:24Z","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":"f52966afd5e9974dc684c37c7370e5924cdf235225380fe6f150763a1c455f6f","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-06-12T02:59:16Z","title_canon_sha256":"1a10ca950d3e2ebc3f6a1901154c003deefcd174f6126cef7c224cfa876026f1"},"schema_version":"1.0","source":{"id":"1906.05676","kind":"arxiv","version":1}},"canonical_sha256":"15f55a7ad2bca22975c012c89ef20cae6f1d097c7e0f6f0646632619ddeddc64","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15f55a7ad2bca22975c012c89ef20cae6f1d097c7e0f6f0646632619ddeddc64","first_computed_at":"2026-05-17T23:43:24.639497Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:43:24.639497Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"BJx10gH2BLCBwoSR9hqh0d3/d1OPt65ui5I59MVqofqPLuH73tcf1T49b4e7F9G36FWWusPKwtiJWBRWTTTdDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:43:24.639905Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.05676","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9a80bb359299386d386dbc5a6e3b02a63560f764b50d062008c9c20cc664c69e","sha256:3254bdc6f30fb4887f4d364eebf885d1d4524c1917c37c47171f455793550267"],"state_sha256":"64b2ae3a0fa9a09710994e95d3eabe87d2ecf612e4b718b47eb2f95d4675b922"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"4zzw2+GWJ+5PMOmnRlKOQBu5lY6FyRQAW3lkZqfZbF9iop4CLUvLDoohbx8Z39MS+uww1/YidzaK1CNBFEG0BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-28T08:36:13.026851Z","bundle_sha256":"d1fad6b1adff7984daf554d3ce0d2b78d674496e6260a7b1bc151508fabb1a2d"}}