{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:OZI6TUSOABZYTLGJQO4OIXMCHQ","short_pith_number":"pith:OZI6TUSO","canonical_record":{"source":{"id":"2503.18492","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-03-24T09:46:05Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"a3e9329d3db4a0e6c057f116375f64d7a54a87f31b5f2a22b93beb48000ed509","abstract_canon_sha256":"4ca901422bc038a1bc2bb1a1883404fd4f6c340d1456c4cbd4c29edb59904960"},"schema_version":"1.0"},"canonical_sha256":"7651e9d24e007389acc983b8e45d823c0a590a867478f65539c8bebe19ca00ba","source":{"kind":"arxiv","id":"2503.18492","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.18492","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"arxiv_version","alias_value":"2503.18492v2","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.18492","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_12","alias_value":"OZI6TUSOABZY","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_16","alias_value":"OZI6TUSOABZYTLGJ","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_8","alias_value":"OZI6TUSO","created_at":"2026-07-05T12:09:15Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:OZI6TUSOABZYTLGJQO4OIXMCHQ","target":"record","payload":{"canonical_record":{"source":{"id":"2503.18492","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-03-24T09:46:05Z","cross_cats_sorted":["cs.AI","cs.CL"],"title_canon_sha256":"a3e9329d3db4a0e6c057f116375f64d7a54a87f31b5f2a22b93beb48000ed509","abstract_canon_sha256":"4ca901422bc038a1bc2bb1a1883404fd4f6c340d1456c4cbd4c29edb59904960"},"schema_version":"1.0"},"canonical_sha256":"7651e9d24e007389acc983b8e45d823c0a590a867478f65539c8bebe19ca00ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:09:15.632077Z","signature_b64":"8wf5QKTHm+3XqGYKLX4Tanq2jOrK90XMexQi+LjIoVtLn2MIYrAA8HO6grk6W7VnGHEQjEEOz08uGSmO5E+IAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7651e9d24e007389acc983b8e45d823c0a590a867478f65539c8bebe19ca00ba","last_reissued_at":"2026-07-05T12:09:15.631531Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:09:15.631531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2503.18492","source_version":2,"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-05T12:09:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+/nyZ3auu9Nf9qgflvUQw5IbKO/SpShKYDwROi0on2tyf7GbefVhe8VtkDdR7KC5SMaQB3LAMvQ5PF3bTgDZDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:45:39.503521Z"},"content_sha256":"98c497068c08cf82a9a81f448704a75cc94718fa62fa0ccbd9aa3a972cb3fb68","schema_version":"1.0","event_id":"sha256:98c497068c08cf82a9a81f448704a75cc94718fa62fa0ccbd9aa3a972cb3fb68"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:OZI6TUSOABZYTLGJQO4OIXMCHQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CL"],"primary_cat":"cs.HC","authors_text":"Chihun Choi, Dongjae Lee, Insik Shin, Jaeyoung Wi, Jungjae Lee, Kihong Heo, Sangeun Oh, Sunjae Lee, Youngmin Im","submitted_at":"2025-03-24T09:46:05Z","abstract_excerpt":"Large Foundation Models (LFMs) have unlocked new possibilities in human-computer interaction, particularly with the rise of mobile Graphical User Interface (GUI) Agents capable of interacting with mobile GUIs. These agents allow users to automate complex mobile tasks through simple natural language instructions. However, the inherent probabilistic nature of LFMs, coupled with the ambiguity and context-dependence of mobile tasks, makes LFM-based automation unreliable and prone to errors. To address this critical challenge, we introduce VeriSafe Agent (VSA): a formal verification system that ser"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.18492","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.18492/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-05T12:09:15Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ot2EAC/u24m5CmNLcWZhMo6UFwlCUTD2+g1m2fSwWYlg7bHQc3cff2yrcX3H4lPfSZL/NLQeR2BZmNzisqXqAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T19:45:39.504039Z"},"content_sha256":"53da5abc7e1e0e3f6a0202efbbca9d29bf077d11b942c18980baff1f11fb6724","schema_version":"1.0","event_id":"sha256:53da5abc7e1e0e3f6a0202efbbca9d29bf077d11b942c18980baff1f11fb6724"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/bundle.json","state_url":"https://pith.science/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/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-08-08T19:45:39Z","links":{"resolver":"https://pith.science/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ","bundle":"https://pith.science/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/bundle.json","state":"https://pith.science/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/OZI6TUSOABZYTLGJQO4OIXMCHQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:OZI6TUSOABZYTLGJQO4OIXMCHQ","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":"4ca901422bc038a1bc2bb1a1883404fd4f6c340d1456c4cbd4c29edb59904960","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-03-24T09:46:05Z","title_canon_sha256":"a3e9329d3db4a0e6c057f116375f64d7a54a87f31b5f2a22b93beb48000ed509"},"schema_version":"1.0","source":{"id":"2503.18492","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.18492","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"arxiv_version","alias_value":"2503.18492v2","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.18492","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_12","alias_value":"OZI6TUSOABZY","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_16","alias_value":"OZI6TUSOABZYTLGJ","created_at":"2026-07-05T12:09:15Z"},{"alias_kind":"pith_short_8","alias_value":"OZI6TUSO","created_at":"2026-07-05T12:09:15Z"}],"graph_snapshots":[{"event_id":"sha256:53da5abc7e1e0e3f6a0202efbbca9d29bf077d11b942c18980baff1f11fb6724","target":"graph","created_at":"2026-07-05T12:09:15Z","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/2503.18492/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Large Foundation Models (LFMs) have unlocked new possibilities in human-computer interaction, particularly with the rise of mobile Graphical User Interface (GUI) Agents capable of interacting with mobile GUIs. These agents allow users to automate complex mobile tasks through simple natural language instructions. However, the inherent probabilistic nature of LFMs, coupled with the ambiguity and context-dependence of mobile tasks, makes LFM-based automation unreliable and prone to errors. To address this critical challenge, we introduce VeriSafe Agent (VSA): a formal verification system that ser","authors_text":"Chihun Choi, Dongjae Lee, Insik Shin, Jaeyoung Wi, Jungjae Lee, Kihong Heo, Sangeun Oh, Sunjae Lee, Youngmin Im","cross_cats":["cs.AI","cs.CL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-03-24T09:46:05Z","title":"VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.18492","kind":"arxiv","version":2},"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:98c497068c08cf82a9a81f448704a75cc94718fa62fa0ccbd9aa3a972cb3fb68","target":"record","created_at":"2026-07-05T12:09:15Z","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":"4ca901422bc038a1bc2bb1a1883404fd4f6c340d1456c4cbd4c29edb59904960","cross_cats_sorted":["cs.AI","cs.CL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.HC","submitted_at":"2025-03-24T09:46:05Z","title_canon_sha256":"a3e9329d3db4a0e6c057f116375f64d7a54a87f31b5f2a22b93beb48000ed509"},"schema_version":"1.0","source":{"id":"2503.18492","kind":"arxiv","version":2}},"canonical_sha256":"7651e9d24e007389acc983b8e45d823c0a590a867478f65539c8bebe19ca00ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7651e9d24e007389acc983b8e45d823c0a590a867478f65539c8bebe19ca00ba","first_computed_at":"2026-07-05T12:09:15.631531Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:09:15.631531Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8wf5QKTHm+3XqGYKLX4Tanq2jOrK90XMexQi+LjIoVtLn2MIYrAA8HO6grk6W7VnGHEQjEEOz08uGSmO5E+IAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T12:09:15.632077Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.18492","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:98c497068c08cf82a9a81f448704a75cc94718fa62fa0ccbd9aa3a972cb3fb68","sha256:53da5abc7e1e0e3f6a0202efbbca9d29bf077d11b942c18980baff1f11fb6724"],"state_sha256":"cae52569bf6ed80e8d22db6e92c973f7de1162e3b577bd7dfbcfd55e24571c43"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AwDrKjOqWQT3Sbi73ekAAZHaTU02CgU1If9LQ8nx7NhhxRCBO0mfr8D6VLfi7DQxvQowWj4kHxYf6zxzUua1Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T19:45:39.509393Z","bundle_sha256":"8df03cdeae70a4e87fc2af927c77af43c163b6b49b3de8d1e500b17b0d74eeba"}}