{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:BMNWQM56NXSR2WUAX2RCTDKNCD","short_pith_number":"pith:BMNWQM56","canonical_record":{"source":{"id":"2303.03207","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-03-06T15:06:06Z","cross_cats_sorted":[],"title_canon_sha256":"163de61ea90fe256cb91e30ac40fd7a9fba773049b241e17c3239bee920261b7","abstract_canon_sha256":"9a74225fa7556a275a4a1c7f97e38a63b62bec780b0a219d90724cbd270596d4"},"schema_version":"1.0"},"canonical_sha256":"0b1b6833be6de51d5a80bea2298d4d10ef6aa3b3d56b4856f0c714eaa087c112","source":{"kind":"arxiv","id":"2303.03207","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.03207","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.03207v3","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.03207","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"BMNWQM56NXSR","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_16","alias_value":"BMNWQM56NXSR2WUA","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_8","alias_value":"BMNWQM56","created_at":"2026-07-05T06:41:47Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:BMNWQM56NXSR2WUAX2RCTDKNCD","target":"record","payload":{"canonical_record":{"source":{"id":"2303.03207","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-03-06T15:06:06Z","cross_cats_sorted":[],"title_canon_sha256":"163de61ea90fe256cb91e30ac40fd7a9fba773049b241e17c3239bee920261b7","abstract_canon_sha256":"9a74225fa7556a275a4a1c7f97e38a63b62bec780b0a219d90724cbd270596d4"},"schema_version":"1.0"},"canonical_sha256":"0b1b6833be6de51d5a80bea2298d4d10ef6aa3b3d56b4856f0c714eaa087c112","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:41:47.511998Z","signature_b64":"0rHxUEhnaKmICYoSOb3SdseKj9TBLU39n65MidWuD+fW4B4pb5qkrRiyfu3jIagEjRR/JxylA8J7iIPa83+mCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b1b6833be6de51d5a80bea2298d4d10ef6aa3b3d56b4856f0c714eaa087c112","last_reissued_at":"2026-07-05T06:41:47.511462Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:41:47.511462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2303.03207","source_version":3,"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-05T06:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"nKCC7/13rLGFxP9hRQaMloStDSqumR7vOysqxcQEPxi99NQsTXCasdLcgqGG9BQm9j9L6TSWhqwYcTvd8VpmDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:37:19.511780Z"},"content_sha256":"3df9deac82e100480412cf30827b8f35d0cea26971e903eb42892b54d55d2780","schema_version":"1.0","event_id":"sha256:3df9deac82e100480412cf30827b8f35d0cea26971e903eb42892b54d55d2780"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:BMNWQM56NXSR2WUAX2RCTDKNCD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.RO","authors_text":"Alessandro Farinelli, Alicia Casals, Ameya Pore, Davide Corsi, Diego Dall'Alba, Luca Marzari, Paolo Fiorini","submitted_at":"2023-03-06T15:06:06Z","abstract_excerpt":"The field of robotic Flexible Endoscopes (FEs) has progressed significantly, offering a promising solution to reduce patient discomfort. However, the limited autonomy of most robotic FEs results in non-intuitive and challenging manoeuvres, constraining their application in clinical settings. While previous studies have employed lumen tracking for autonomous navigation, they fail to adapt to the presence of obstructions and sharp turns when the endoscope faces the colon wall. In this work, we propose a Deep Reinforcement Learning (DRL)-based navigation strategy that eliminates the need for lume"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.03207","kind":"arxiv","version":3},"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/2303.03207/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-05T06:41:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3RDWiD94lqLF5TmNLj1FlFC1cKd8Kyu0Wfzy7NJzkKNp24vyo/Q6/1Y2CARkHflxQFGuhrRIpV9Kkd/rCNpkBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T12:37:19.512150Z"},"content_sha256":"67886d39095b0ba73e804acf77edced20109c9e55e6abfd031c8153db164713f","schema_version":"1.0","event_id":"sha256:67886d39095b0ba73e804acf77edced20109c9e55e6abfd031c8153db164713f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/bundle.json","state_url":"https://pith.science/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/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-07-07T12:37:19Z","links":{"resolver":"https://pith.science/pith/BMNWQM56NXSR2WUAX2RCTDKNCD","bundle":"https://pith.science/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/bundle.json","state":"https://pith.science/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BMNWQM56NXSR2WUAX2RCTDKNCD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:BMNWQM56NXSR2WUAX2RCTDKNCD","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":"9a74225fa7556a275a4a1c7f97e38a63b62bec780b0a219d90724cbd270596d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-03-06T15:06:06Z","title_canon_sha256":"163de61ea90fe256cb91e30ac40fd7a9fba773049b241e17c3239bee920261b7"},"schema_version":"1.0","source":{"id":"2303.03207","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.03207","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"arxiv_version","alias_value":"2303.03207v3","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.03207","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_12","alias_value":"BMNWQM56NXSR","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_16","alias_value":"BMNWQM56NXSR2WUA","created_at":"2026-07-05T06:41:47Z"},{"alias_kind":"pith_short_8","alias_value":"BMNWQM56","created_at":"2026-07-05T06:41:47Z"}],"graph_snapshots":[{"event_id":"sha256:67886d39095b0ba73e804acf77edced20109c9e55e6abfd031c8153db164713f","target":"graph","created_at":"2026-07-05T06:41:47Z","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/2303.03207/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The field of robotic Flexible Endoscopes (FEs) has progressed significantly, offering a promising solution to reduce patient discomfort. However, the limited autonomy of most robotic FEs results in non-intuitive and challenging manoeuvres, constraining their application in clinical settings. While previous studies have employed lumen tracking for autonomous navigation, they fail to adapt to the presence of obstructions and sharp turns when the endoscope faces the colon wall. In this work, we propose a Deep Reinforcement Learning (DRL)-based navigation strategy that eliminates the need for lume","authors_text":"Alessandro Farinelli, Alicia Casals, Ameya Pore, Davide Corsi, Diego Dall'Alba, Luca Marzari, Paolo Fiorini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-03-06T15:06:06Z","title":"Constrained Reinforcement Learning and Formal Verification for Safe Colonoscopy Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.03207","kind":"arxiv","version":3},"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:3df9deac82e100480412cf30827b8f35d0cea26971e903eb42892b54d55d2780","target":"record","created_at":"2026-07-05T06:41:47Z","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":"9a74225fa7556a275a4a1c7f97e38a63b62bec780b0a219d90724cbd270596d4","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2023-03-06T15:06:06Z","title_canon_sha256":"163de61ea90fe256cb91e30ac40fd7a9fba773049b241e17c3239bee920261b7"},"schema_version":"1.0","source":{"id":"2303.03207","kind":"arxiv","version":3}},"canonical_sha256":"0b1b6833be6de51d5a80bea2298d4d10ef6aa3b3d56b4856f0c714eaa087c112","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b1b6833be6de51d5a80bea2298d4d10ef6aa3b3d56b4856f0c714eaa087c112","first_computed_at":"2026-07-05T06:41:47.511462Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:41:47.511462Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0rHxUEhnaKmICYoSOb3SdseKj9TBLU39n65MidWuD+fW4B4pb5qkrRiyfu3jIagEjRR/JxylA8J7iIPa83+mCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:41:47.511998Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.03207","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3df9deac82e100480412cf30827b8f35d0cea26971e903eb42892b54d55d2780","sha256:67886d39095b0ba73e804acf77edced20109c9e55e6abfd031c8153db164713f"],"state_sha256":"f448a86a6798e8cae66a3768035a788e276a653906794afd47ae5839fe09d526"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BhjpjSV75J+9CdmdUs0w67M7bjTnotw1h8NHIJW+VBf++tOY1TRoK0K3223mSIy35pAbWpCGFYAAaI7nZzfcDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T12:37:19.514085Z","bundle_sha256":"6d33c4bc3215e0fb056249e5ea06a507e58dd1e1509d347f74747083284c9bf4"}}