{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:BE2MVDL5EQ6I7MHI3U44TBTO55","short_pith_number":"pith:BE2MVDL5","canonical_record":{"source":{"id":"2502.00931","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-02-02T21:44:15Z","cross_cats_sorted":["cs.CV"],"title_canon_sha256":"587343f2de72e2e098973c5d042d32f24cfc5561483d2f6fba59f099e948d4b8","abstract_canon_sha256":"32f268592babda174e5307c6b36b2530754b297ce07fded422862b0b2937f6ef"},"schema_version":"1.0"},"canonical_sha256":"0934ca8d7d243c8fb0e8dd39c9866eef7c1f69f438b4507cedbfd58e56b41b59","source":{"kind":"arxiv","id":"2502.00931","version":7},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00931","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00931v7","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00931","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_12","alias_value":"BE2MVDL5EQ6I","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_16","alias_value":"BE2MVDL5EQ6I7MHI","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_8","alias_value":"BE2MVDL5","created_at":"2026-07-15T01:21:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:BE2MVDL5EQ6I7MHI3U44TBTO55","target":"record","payload":{"canonical_record":{"source":{"id":"2502.00931","kind":"arxiv","version":7},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-02-02T21:44:15Z","cross_cats_sorted":["cs.CV"],"title_canon_sha256":"587343f2de72e2e098973c5d042d32f24cfc5561483d2f6fba59f099e948d4b8","abstract_canon_sha256":"32f268592babda174e5307c6b36b2530754b297ce07fded422862b0b2937f6ef"},"schema_version":"1.0"},"canonical_sha256":"0934ca8d7d243c8fb0e8dd39c9866eef7c1f69f438b4507cedbfd58e56b41b59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-15T01:21:45.124706Z","signature_b64":"vIHA5K1BcigDbGN8+vdcvG10VnB9y64yhVdFgTXq2J6SeXl+IUMJ76jgtpv0lsc7TzTzCQLhygHWrRR1BgkKDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0934ca8d7d243c8fb0e8dd39c9866eef7c1f69f438b4507cedbfd58e56b41b59","last_reissued_at":"2026-07-15T01:21:45.123819Z","signature_status":"signed_v1","first_computed_at":"2026-07-15T01:21:45.123819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.00931","source_version":7,"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-15T01:21:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uLn+moAWf7HMht57uGhAskAIcRV+mnO9nv/bdegd9e3r7YhtUeQ4fBpL8Xgj81giFPWU7ZZm3hY9zvOBO/vVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T07:14:16.305697Z"},"content_sha256":"c7aa9ddb9a638ed94892fb55dce03dbdd10f0e18b3632e21338bcc556edaaa4a","schema_version":"1.0","event_id":"sha256:c7aa9ddb9a638ed94892fb55dce03dbdd10f0e18b3632e21338bcc556edaaa4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:BE2MVDL5EQ6I7MHI3U44TBTO55","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"VL-Nav: Neuro-Symbolic Reasoning-based Vision-Language Navigation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CV"],"primary_cat":"cs.RO","authors_text":"Bowen Li, Chen Wang, Qiwei Du, Shaoshu Su, Taimeng Fu, Yi Du, Zhipeng Zhao, Zhuoqun Chen, Zitong Zhan","submitted_at":"2025-02-02T21:44:15Z","abstract_excerpt":"Navigating unseen, large-scale environments based on complex and abstract human instructions remains a formidable challenge for autonomous mobile robots. Addressing this requires robots to infer implicit semantics and efficiently explore large-scale task spaces. However, existing methods, ranging from end-to-end learning to foundation model-based modular architectures, often lack the capability to decompose complex tasks or employ efficient exploration strategies, leading to robot aimless wandering or target recognition failures. To address these limitations, we propose VL-Nav, a neuro-symboli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00931","kind":"arxiv","version":7},"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/2502.00931/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-15T01:21:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C07je9OtSpF5Cgv5I4D7yKTXFi+qq8sVz5gnAM/ZgAU/H1+zQq/JUrf9JKfjlzpmb+WYfPH+ZBNUQUnhUxdsCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-19T07:14:16.306204Z"},"content_sha256":"3aa3e655e9af5b7979130b2ffe45977b12a2da1a3085794c5ffdb7560a2f6c40","schema_version":"1.0","event_id":"sha256:3aa3e655e9af5b7979130b2ffe45977b12a2da1a3085794c5ffdb7560a2f6c40"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/bundle.json","state_url":"https://pith.science/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/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-19T07:14:16Z","links":{"resolver":"https://pith.science/pith/BE2MVDL5EQ6I7MHI3U44TBTO55","bundle":"https://pith.science/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/bundle.json","state":"https://pith.science/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BE2MVDL5EQ6I7MHI3U44TBTO55/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:BE2MVDL5EQ6I7MHI3U44TBTO55","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":"32f268592babda174e5307c6b36b2530754b297ce07fded422862b0b2937f6ef","cross_cats_sorted":["cs.CV"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-02-02T21:44:15Z","title_canon_sha256":"587343f2de72e2e098973c5d042d32f24cfc5561483d2f6fba59f099e948d4b8"},"schema_version":"1.0","source":{"id":"2502.00931","kind":"arxiv","version":7}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00931","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00931v7","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00931","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_12","alias_value":"BE2MVDL5EQ6I","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_16","alias_value":"BE2MVDL5EQ6I7MHI","created_at":"2026-07-15T01:21:45Z"},{"alias_kind":"pith_short_8","alias_value":"BE2MVDL5","created_at":"2026-07-15T01:21:45Z"}],"graph_snapshots":[{"event_id":"sha256:3aa3e655e9af5b7979130b2ffe45977b12a2da1a3085794c5ffdb7560a2f6c40","target":"graph","created_at":"2026-07-15T01:21:45Z","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/2502.00931/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Navigating unseen, large-scale environments based on complex and abstract human instructions remains a formidable challenge for autonomous mobile robots. Addressing this requires robots to infer implicit semantics and efficiently explore large-scale task spaces. However, existing methods, ranging from end-to-end learning to foundation model-based modular architectures, often lack the capability to decompose complex tasks or employ efficient exploration strategies, leading to robot aimless wandering or target recognition failures. To address these limitations, we propose VL-Nav, a neuro-symboli","authors_text":"Bowen Li, Chen Wang, Qiwei Du, Shaoshu Su, Taimeng Fu, Yi Du, Zhipeng Zhao, Zhuoqun Chen, Zitong Zhan","cross_cats":["cs.CV"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-02-02T21:44:15Z","title":"VL-Nav: Neuro-Symbolic Reasoning-based Vision-Language Navigation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00931","kind":"arxiv","version":7},"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:c7aa9ddb9a638ed94892fb55dce03dbdd10f0e18b3632e21338bcc556edaaa4a","target":"record","created_at":"2026-07-15T01:21:45Z","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":"32f268592babda174e5307c6b36b2530754b297ce07fded422862b0b2937f6ef","cross_cats_sorted":["cs.CV"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.RO","submitted_at":"2025-02-02T21:44:15Z","title_canon_sha256":"587343f2de72e2e098973c5d042d32f24cfc5561483d2f6fba59f099e948d4b8"},"schema_version":"1.0","source":{"id":"2502.00931","kind":"arxiv","version":7}},"canonical_sha256":"0934ca8d7d243c8fb0e8dd39c9866eef7c1f69f438b4507cedbfd58e56b41b59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0934ca8d7d243c8fb0e8dd39c9866eef7c1f69f438b4507cedbfd58e56b41b59","first_computed_at":"2026-07-15T01:21:45.123819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-15T01:21:45.123819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vIHA5K1BcigDbGN8+vdcvG10VnB9y64yhVdFgTXq2J6SeXl+IUMJ76jgtpv0lsc7TzTzCQLhygHWrRR1BgkKDA==","signature_status":"signed_v1","signed_at":"2026-07-15T01:21:45.124706Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.00931","source_kind":"arxiv","source_version":7}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c7aa9ddb9a638ed94892fb55dce03dbdd10f0e18b3632e21338bcc556edaaa4a","sha256:3aa3e655e9af5b7979130b2ffe45977b12a2da1a3085794c5ffdb7560a2f6c40"],"state_sha256":"2d1f10171a322ee2e740afe43ca96ef39b4ed737ccfb8b2cfd1f84169baf6ec2"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"x/0vbQ5GQ7v7omitE0TXsVoluhsqUJ7EyZmMwYFNk+x0P3FF09WNXZwaOTcS+sc5BpxGsBeOXhyBo2Io+cNVCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-19T07:14:16.310379Z","bundle_sha256":"e33fec20aea5242a695eb5cf151a73f0afffe548d62faf50bd85e496112229ff"}}