{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:BCYZ4CBK7CR2I27Y7WXFFCO7TE","short_pith_number":"pith:BCYZ4CBK","canonical_record":{"source":{"id":"1903.02183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-06T05:44:15Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"384a24c61e470f235423a17a1b0229d3ee8dd8da27690acb4a2ba7b02d3c4a77","abstract_canon_sha256":"95188321f2d5ec3ac8b21ee3e95837f9c91c446e608b221abb0cbfe0924daa9f"},"schema_version":"1.0"},"canonical_sha256":"08b19e082af8a3a46bf8fdae5289df991a3b75518f72281de215d35ee652d12c","source":{"kind":"arxiv","id":"1903.02183","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.02183","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"arxiv_version","alias_value":"1903.02183v1","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.02183","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"pith_short_12","alias_value":"BCYZ4CBK7CR2","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BCYZ4CBK7CR2I27Y","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BCYZ4CBK","created_at":"2026-05-18T12:33:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:BCYZ4CBK7CR2I27Y7WXFFCO7TE","target":"record","payload":{"canonical_record":{"source":{"id":"1903.02183","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-06T05:44:15Z","cross_cats_sorted":["stat.ML"],"title_canon_sha256":"384a24c61e470f235423a17a1b0229d3ee8dd8da27690acb4a2ba7b02d3c4a77","abstract_canon_sha256":"95188321f2d5ec3ac8b21ee3e95837f9c91c446e608b221abb0cbfe0924daa9f"},"schema_version":"1.0"},"canonical_sha256":"08b19e082af8a3a46bf8fdae5289df991a3b75518f72281de215d35ee652d12c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:51:56.528182Z","signature_b64":"jWDf0nCp/RAvkX5AwpIrJ1DgPNX35V6HhJbexdNheVqOvXV7fY+KDDfVW5xzf+y4rZALxX02x0lqD9dadTb5Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"08b19e082af8a3a46bf8fdae5289df991a3b75518f72281de215d35ee652d12c","last_reissued_at":"2026-05-17T23:51:56.527549Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:51:56.527549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1903.02183","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:51:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wYQsZX6/7RVyDp54Tbdt8j4peBRxWnc/uVQ3iNNbVLgmQnJdYtqAoG9amz6iE/wAs4jDF1Ipi2q8uYTZHYDCBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T16:13:58.375891Z"},"content_sha256":"b5b15a4091fb9307ddd2aa1c0a717e0c53c5aabc6b487a54ee5fcc3c5b77528a","schema_version":"1.0","event_id":"sha256:b5b15a4091fb9307ddd2aa1c0a717e0c53c5aabc6b487a54ee5fcc3c5b77528a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:BCYZ4CBK7CR2I27Y7WXFFCO7TE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Synthesizing Chemical Plant Operation Procedures using Knowledge, Dynamic Simulation and Deep Reinforcement Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["stat.ML"],"primary_cat":"cs.AI","authors_text":"Shumpei Kubosawa, Takashi Onishi, Yoshimasa Tsuruoka","submitted_at":"2019-03-06T05:44:15Z","abstract_excerpt":"Chemical plants are complex and dynamical systems consisting of many components for manipulation and sensing, whose state transitions depend on various factors such as time, disturbance, and operation procedures. For the purpose of supporting human operators of chemical plants, we are developing an AI system that can semi-automatically synthesize operation procedures for efficient and stable operation. Our system can provide not only appropriate operation procedures but also reasons why the procedures are considered to be valid. This is achieved by integrating automated reasoning and deep rein"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.02183","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:51:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zU4VsOh4sJRVLeWe5ng/KlTlWfws1fZjLOj8eZt4pOt75pR2HtGR8WUStkIMA0kG9XBQejScZDo19U6aoQaRDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T16:13:58.376242Z"},"content_sha256":"58fc82b9743a9b9faca4d2ce150e1cfa637558263c2da3279b48e1877e78afa9","schema_version":"1.0","event_id":"sha256:58fc82b9743a9b9faca4d2ce150e1cfa637558263c2da3279b48e1877e78afa9"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/bundle.json","state_url":"https://pith.science/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/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-25T16:13:58Z","links":{"resolver":"https://pith.science/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE","bundle":"https://pith.science/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/bundle.json","state":"https://pith.science/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BCYZ4CBK7CR2I27Y7WXFFCO7TE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:BCYZ4CBK7CR2I27Y7WXFFCO7TE","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":"95188321f2d5ec3ac8b21ee3e95837f9c91c446e608b221abb0cbfe0924daa9f","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-06T05:44:15Z","title_canon_sha256":"384a24c61e470f235423a17a1b0229d3ee8dd8da27690acb4a2ba7b02d3c4a77"},"schema_version":"1.0","source":{"id":"1903.02183","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1903.02183","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"arxiv_version","alias_value":"1903.02183v1","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1903.02183","created_at":"2026-05-17T23:51:56Z"},{"alias_kind":"pith_short_12","alias_value":"BCYZ4CBK7CR2","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_16","alias_value":"BCYZ4CBK7CR2I27Y","created_at":"2026-05-18T12:33:12Z"},{"alias_kind":"pith_short_8","alias_value":"BCYZ4CBK","created_at":"2026-05-18T12:33:12Z"}],"graph_snapshots":[{"event_id":"sha256:58fc82b9743a9b9faca4d2ce150e1cfa637558263c2da3279b48e1877e78afa9","target":"graph","created_at":"2026-05-17T23:51:56Z","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":"Chemical plants are complex and dynamical systems consisting of many components for manipulation and sensing, whose state transitions depend on various factors such as time, disturbance, and operation procedures. For the purpose of supporting human operators of chemical plants, we are developing an AI system that can semi-automatically synthesize operation procedures for efficient and stable operation. Our system can provide not only appropriate operation procedures but also reasons why the procedures are considered to be valid. This is achieved by integrating automated reasoning and deep rein","authors_text":"Shumpei Kubosawa, Takashi Onishi, Yoshimasa Tsuruoka","cross_cats":["stat.ML"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-06T05:44:15Z","title":"Synthesizing Chemical Plant Operation Procedures using Knowledge, Dynamic Simulation and Deep Reinforcement Learning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1903.02183","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:b5b15a4091fb9307ddd2aa1c0a717e0c53c5aabc6b487a54ee5fcc3c5b77528a","target":"record","created_at":"2026-05-17T23:51:56Z","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":"95188321f2d5ec3ac8b21ee3e95837f9c91c446e608b221abb0cbfe0924daa9f","cross_cats_sorted":["stat.ML"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2019-03-06T05:44:15Z","title_canon_sha256":"384a24c61e470f235423a17a1b0229d3ee8dd8da27690acb4a2ba7b02d3c4a77"},"schema_version":"1.0","source":{"id":"1903.02183","kind":"arxiv","version":1}},"canonical_sha256":"08b19e082af8a3a46bf8fdae5289df991a3b75518f72281de215d35ee652d12c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"08b19e082af8a3a46bf8fdae5289df991a3b75518f72281de215d35ee652d12c","first_computed_at":"2026-05-17T23:51:56.527549Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:51:56.527549Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jWDf0nCp/RAvkX5AwpIrJ1DgPNX35V6HhJbexdNheVqOvXV7fY+KDDfVW5xzf+y4rZALxX02x0lqD9dadTb5Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:51:56.528182Z","signed_message":"canonical_sha256_bytes"},"source_id":"1903.02183","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b5b15a4091fb9307ddd2aa1c0a717e0c53c5aabc6b487a54ee5fcc3c5b77528a","sha256:58fc82b9743a9b9faca4d2ce150e1cfa637558263c2da3279b48e1877e78afa9"],"state_sha256":"ad306cb8cdce92f6b0ecf040ecc088769e8690eb6159d930b4d79fdf22812228"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"In32AOGhdRA17nx+fwfcJvX3WwuXCX5z9GaoINqlG5KGn4gAziFr+sR/T4IXDHtFV3a7by5iezdhmX5onbeqAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T16:13:58.378245Z","bundle_sha256":"0bc7c96ca05693d3d7775f0d3aea024b1279dab5cbb4bc9f911e52eb344313ab"}}