{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:MI442QAOZF33CHND4MIH224OFF","short_pith_number":"pith:MI442QAO","schema_version":"1.0","canonical_sha256":"6239cd400ec977b11da3e3107d6b8e2971e42cd394ce54261975ecfa5f0fbf68","source":{"kind":"arxiv","id":"2503.08214","version":2},"attestation_state":"computed","paper":{"title":"Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Christoffer Sloth, Hansoul Kim, I\\~nigo Iturrate, Yitaek Kim","submitted_at":"2025-03-11T09:28:35Z","abstract_excerpt":"There is growing interest in automating surgical tasks using robotic systems, such as endoscopy for treating gastrointestinal (GI) cancer. However, previous studies have primarily focused on detecting and analyzing objects or robots, with limited attention to ensuring safety, which is critical for clinical applications, where accidents can be caused by unsafe robot motions. In this study, we propose a new control framework that can formally ensure the safety of automating the cutting task in endoscopic submucosal dissection (ESD), a representative endoscopic surgical method for the treatment o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2503.08214","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-03-11T09:28:35Z","cross_cats_sorted":["cs.SY","eess.SY"],"title_canon_sha256":"e5f98494c668ba0af38e3148c55f758ce2a012b9b6ad8d1fd4751946ca6824a1","abstract_canon_sha256":"6ed0dcdf446a8472af77ac6c47522eaadfd582b5c6abf415d326a5c5f74940d1"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:20:10.615834Z","signature_b64":"b7xzdOHaSOdymRfWd2F2DbNrwjIGQ0a8/3reAsQoqU0LoB4I77Wx2OEcQ5u7GRAS8/+O7bP+hN/GMVNGWse4BA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6239cd400ec977b11da3e3107d6b8e2971e42cd394ce54261975ecfa5f0fbf68","last_reissued_at":"2026-07-05T11:20:10.615341Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:20:10.615341Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Safety-Ensured Robotic Control Framework for Cutting Task Automation in Endoscopic Submucosal Dissection","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.SY","eess.SY"],"primary_cat":"cs.RO","authors_text":"Christoffer Sloth, Hansoul Kim, I\\~nigo Iturrate, Yitaek Kim","submitted_at":"2025-03-11T09:28:35Z","abstract_excerpt":"There is growing interest in automating surgical tasks using robotic systems, such as endoscopy for treating gastrointestinal (GI) cancer. However, previous studies have primarily focused on detecting and analyzing objects or robots, with limited attention to ensuring safety, which is critical for clinical applications, where accidents can be caused by unsafe robot motions. In this study, we propose a new control framework that can formally ensure the safety of automating the cutting task in endoscopic submucosal dissection (ESD), a representative endoscopic surgical method for the treatment o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.08214","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/2503.08214/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2503.08214","created_at":"2026-07-05T11:20:10.615409+00:00"},{"alias_kind":"arxiv_version","alias_value":"2503.08214v2","created_at":"2026-07-05T11:20:10.615409+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.08214","created_at":"2026-07-05T11:20:10.615409+00:00"},{"alias_kind":"pith_short_12","alias_value":"MI442QAOZF33","created_at":"2026-07-05T11:20:10.615409+00:00"},{"alias_kind":"pith_short_16","alias_value":"MI442QAOZF33CHND","created_at":"2026-07-05T11:20:10.615409+00:00"},{"alias_kind":"pith_short_8","alias_value":"MI442QAO","created_at":"2026-07-05T11:20:10.615409+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF","json":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF.json","graph_json":"https://pith.science/api/pith-number/MI442QAOZF33CHND4MIH224OFF/graph.json","events_json":"https://pith.science/api/pith-number/MI442QAOZF33CHND4MIH224OFF/events.json","paper":"https://pith.science/paper/MI442QAO"},"agent_actions":{"view_html":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF","download_json":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF.json","view_paper":"https://pith.science/paper/MI442QAO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2503.08214&json=true","fetch_graph":"https://pith.science/api/pith-number/MI442QAOZF33CHND4MIH224OFF/graph.json","fetch_events":"https://pith.science/api/pith-number/MI442QAOZF33CHND4MIH224OFF/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF/action/timestamp_anchor","attest_storage":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF/action/storage_attestation","attest_author":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF/action/author_attestation","sign_citation":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF/action/citation_signature","submit_replication":"https://pith.science/pith/MI442QAOZF33CHND4MIH224OFF/action/replication_record"}},"created_at":"2026-07-05T11:20:10.615409+00:00","updated_at":"2026-07-05T11:20:10.615409+00:00"}