{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:S7MIKJR6H3X3YJAWWPTNFVKFQY","short_pith_number":"pith:S7MIKJR6","canonical_record":{"source":{"id":"1904.12004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-04-26T18:12:56Z","cross_cats_sorted":["cs.AI","stat.ML"],"title_canon_sha256":"0b77da83cef6fd3c5985a52253f4eda16ef540c72db42a2e14150ea54ace5794","abstract_canon_sha256":"01a39cfa0698ad91cc1d419920e016e3804b319ef523aa979b034b024bc8c98f"},"schema_version":"1.0"},"canonical_sha256":"97d885263e3eefbc2416b3e6d2d54586310a06e230bd12677dd5378ad676c890","source":{"kind":"arxiv","id":"1904.12004","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12004","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12004v1","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12004","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"pith_short_12","alias_value":"S7MIKJR6H3X3","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S7MIKJR6H3X3YJAW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S7MIKJR6","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:S7MIKJR6H3X3YJAWWPTNFVKFQY","target":"record","payload":{"canonical_record":{"source":{"id":"1904.12004","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-04-26T18:12:56Z","cross_cats_sorted":["cs.AI","stat.ML"],"title_canon_sha256":"0b77da83cef6fd3c5985a52253f4eda16ef540c72db42a2e14150ea54ace5794","abstract_canon_sha256":"01a39cfa0698ad91cc1d419920e016e3804b319ef523aa979b034b024bc8c98f"},"schema_version":"1.0"},"canonical_sha256":"97d885263e3eefbc2416b3e6d2d54586310a06e230bd12677dd5378ad676c890","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:47:39.079771Z","signature_b64":"J0KY+jBeu9Yz/ac3X/p/rt1RAj5fbgO7NsVTfbzoP02wuZBENpi3WEQWZlIM1fLSqoh8s5u5fUyRumNIOWllAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"97d885263e3eefbc2416b3e6d2d54586310a06e230bd12677dd5378ad676c890","last_reissued_at":"2026-05-17T23:47:39.079308Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:47:39.079308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1904.12004","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:47:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Ya/XJigvAwurC0Y4HmBk5wln/rJYsIciTIszoni9/EOI6xp5mAWVSyBIDgrHtTRhD0pPxMho7C6kOlbjDjcCCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:06:37.445026Z"},"content_sha256":"49bdf75e8da2e7b71111afab56d3da5ef59a48e66073a49494b045330fb67013","schema_version":"1.0","event_id":"sha256:49bdf75e8da2e7b71111afab56d3da5ef59a48e66073a49494b045330fb67013"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:S7MIKJR6H3X3YJAWWPTNFVKFQY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI","stat.ML"],"primary_cat":"cs.LG","authors_text":"Chenglong Wang, Edward Grefenstette, Krishnamurthy Dvijotham, Po-Sen Huang, Pushmeet Kohli, Rudy Bunel","submitted_at":"2019-04-26T18:12:56Z","abstract_excerpt":"Models such as Sequence-to-Sequence and Image-to-Sequence are widely used in real world applications. While the ability of these neural architectures to produce variable-length outputs makes them extremely effective for problems like Machine Translation and Image Captioning, it also leaves them vulnerable to failures of the form where the model produces outputs of undesirable length. This behavior can have severe consequences such as usage of increased computation and induce faults in downstream modules that expect outputs of a certain length. Motivated by the need to have a better understandi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12004","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:47:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cdelYitSySuxBwm/Zh36TseEbxqlMIHFDRTRULvDVqEHNNxGE9Dy1/VAx7tf0d1nbWiQDv5kKasybruRnLURCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:06:37.445389Z"},"content_sha256":"fcbf68d1add8d6723fcf2f2332f6958f2ed1e48275324a5353589b69b32a0ab8","schema_version":"1.0","event_id":"sha256:fcbf68d1add8d6723fcf2f2332f6958f2ed1e48275324a5353589b69b32a0ab8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/bundle.json","state_url":"https://pith.science/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/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-05-30T11:06:37Z","links":{"resolver":"https://pith.science/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY","bundle":"https://pith.science/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/bundle.json","state":"https://pith.science/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/S7MIKJR6H3X3YJAWWPTNFVKFQY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:S7MIKJR6H3X3YJAWWPTNFVKFQY","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":"01a39cfa0698ad91cc1d419920e016e3804b319ef523aa979b034b024bc8c98f","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-04-26T18:12:56Z","title_canon_sha256":"0b77da83cef6fd3c5985a52253f4eda16ef540c72db42a2e14150ea54ace5794"},"schema_version":"1.0","source":{"id":"1904.12004","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.12004","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"arxiv_version","alias_value":"1904.12004v1","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.12004","created_at":"2026-05-17T23:47:39Z"},{"alias_kind":"pith_short_12","alias_value":"S7MIKJR6H3X3","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"S7MIKJR6H3X3YJAW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"S7MIKJR6","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:fcbf68d1add8d6723fcf2f2332f6958f2ed1e48275324a5353589b69b32a0ab8","target":"graph","created_at":"2026-05-17T23:47:39Z","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":"Models such as Sequence-to-Sequence and Image-to-Sequence are widely used in real world applications. While the ability of these neural architectures to produce variable-length outputs makes them extremely effective for problems like Machine Translation and Image Captioning, it also leaves them vulnerable to failures of the form where the model produces outputs of undesirable length. This behavior can have severe consequences such as usage of increased computation and induce faults in downstream modules that expect outputs of a certain length. Motivated by the need to have a better understandi","authors_text":"Chenglong Wang, Edward Grefenstette, Krishnamurthy Dvijotham, Po-Sen Huang, Pushmeet Kohli, Rudy Bunel","cross_cats":["cs.AI","stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-04-26T18:12:56Z","title":"Knowing When to Stop: Evaluation and Verification of Conformity to Output-size Specifications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.12004","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:49bdf75e8da2e7b71111afab56d3da5ef59a48e66073a49494b045330fb67013","target":"record","created_at":"2026-05-17T23:47:39Z","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":"01a39cfa0698ad91cc1d419920e016e3804b319ef523aa979b034b024bc8c98f","cross_cats_sorted":["cs.AI","stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LG","submitted_at":"2019-04-26T18:12:56Z","title_canon_sha256":"0b77da83cef6fd3c5985a52253f4eda16ef540c72db42a2e14150ea54ace5794"},"schema_version":"1.0","source":{"id":"1904.12004","kind":"arxiv","version":1}},"canonical_sha256":"97d885263e3eefbc2416b3e6d2d54586310a06e230bd12677dd5378ad676c890","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"97d885263e3eefbc2416b3e6d2d54586310a06e230bd12677dd5378ad676c890","first_computed_at":"2026-05-17T23:47:39.079308Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:47:39.079308Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"J0KY+jBeu9Yz/ac3X/p/rt1RAj5fbgO7NsVTfbzoP02wuZBENpi3WEQWZlIM1fLSqoh8s5u5fUyRumNIOWllAA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:47:39.079771Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.12004","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:49bdf75e8da2e7b71111afab56d3da5ef59a48e66073a49494b045330fb67013","sha256:fcbf68d1add8d6723fcf2f2332f6958f2ed1e48275324a5353589b69b32a0ab8"],"state_sha256":"b7e7264125f9fa40f5fa6ba076e6433643f6a13049b02ffc284c393a3709bdc8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"cjiJzbekPfmHgXOE23TAWrNG9DjITIDnnYWjCr5leKVKnl7GFH7zO/53GcaaOWctRIt34aeo6s4EElHsnW8IAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:06:37.448182Z","bundle_sha256":"e5d9abc8b57a4c50ebb1a72ce671794620ed3444b1d6cbd6ede749370b9ee3a2"}}