{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:FYTZ3TEJ3XBG46ZO2MMQGWLXJZ","short_pith_number":"pith:FYTZ3TEJ","canonical_record":{"source":{"id":"2502.00372","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2025-02-01T09:19:08Z","cross_cats_sorted":[],"title_canon_sha256":"c42f922cc9bc7d13f4f4d01f0b78767b55513cf921023aa11c04e36106423671","abstract_canon_sha256":"d2acbf780d030c4f102c0e7cd7fae2a53724bc51c678bd4fcd829e259db8e631"},"schema_version":"1.0"},"canonical_sha256":"2e279dcc89ddc26e7b2ed3190359774e6be6267b1d33b5f7e48099e54858fc7f","source":{"kind":"arxiv","id":"2502.00372","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00372","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00372v3","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00372","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_12","alias_value":"FYTZ3TEJ3XBG","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_16","alias_value":"FYTZ3TEJ3XBG46ZO","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_8","alias_value":"FYTZ3TEJ","created_at":"2026-07-05T11:53:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:FYTZ3TEJ3XBG46ZO2MMQGWLXJZ","target":"record","payload":{"canonical_record":{"source":{"id":"2502.00372","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2025-02-01T09:19:08Z","cross_cats_sorted":[],"title_canon_sha256":"c42f922cc9bc7d13f4f4d01f0b78767b55513cf921023aa11c04e36106423671","abstract_canon_sha256":"d2acbf780d030c4f102c0e7cd7fae2a53724bc51c678bd4fcd829e259db8e631"},"schema_version":"1.0"},"canonical_sha256":"2e279dcc89ddc26e7b2ed3190359774e6be6267b1d33b5f7e48099e54858fc7f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:53:43.829141Z","signature_b64":"iGn/eVvv1UBjQk7MKppHOjrSlg1pzWxGz883SCTfCl6IkSThmGIqBZj8Tbmmt7ckN+d4KYza9KX54sGgd6uEAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e279dcc89ddc26e7b2ed3190359774e6be6267b1d33b5f7e48099e54858fc7f","last_reissued_at":"2026-07-05T11:53:43.828601Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:53:43.828601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2502.00372","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-05T11:53:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"tIugcXD55IQ1fuyot2wAtRVtt8mifi2fb0BNmEwqpy/QX+xa4DlEr/s48R/gzULzELuPR5t5qS4RWcaWdcLbBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:02:58.781666Z"},"content_sha256":"581ab3386c91073208e22aad44cf58817eb2cfd06d8c4a63c991738b830ed265","schema_version":"1.0","event_id":"sha256:581ab3386c91073208e22aad44cf58817eb2cfd06d8c4a63c991738b830ed265"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:FYTZ3TEJ3XBG46ZO2MMQGWLXJZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.CV","authors_text":"Fucai Ke, Hamid Rezatofighi, Maria Garcia de la Banda, Peter J. Stuckey, Reza Haffari, Simindokht Jahangard, Zhixi Cai","submitted_at":"2025-02-01T09:19:08Z","abstract_excerpt":"Visual Grounding (VG) tasks, such as referring expression detection and segmentation tasks are important for linking visual entities to context, especially in complex reasoning tasks that require detailed query interpretation. This paper explores VG beyond basic perception, highlighting challenges for methods that require reasoning like human cognition. Recent advances in large language methods (LLMs) and Vision-Language methods (VLMs) have improved abilities for visual comprehension, contextual understanding, and reasoning. These methods are mainly split into end-to-end and compositional meth"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00372","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/2502.00372/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-05T11:53:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NkODjWdoSmCP7EFNSgennrLhSFou/C+GIbKgbo4Jw8ja8O2XCv+b/eghkhNMuZvIwBWzJLmqZP/lv5VCEL5qCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:02:58.782171Z"},"content_sha256":"e984b820f14094ae03ad19666ef2a0cefefa8e06b57b7f3ecde6a14e1c9cf755","schema_version":"1.0","event_id":"sha256:e984b820f14094ae03ad19666ef2a0cefefa8e06b57b7f3ecde6a14e1c9cf755"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/bundle.json","state_url":"https://pith.science/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/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-06T17:02:58Z","links":{"resolver":"https://pith.science/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ","bundle":"https://pith.science/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/bundle.json","state":"https://pith.science/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FYTZ3TEJ3XBG46ZO2MMQGWLXJZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:FYTZ3TEJ3XBG46ZO2MMQGWLXJZ","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":"d2acbf780d030c4f102c0e7cd7fae2a53724bc51c678bd4fcd829e259db8e631","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2025-02-01T09:19:08Z","title_canon_sha256":"c42f922cc9bc7d13f4f4d01f0b78767b55513cf921023aa11c04e36106423671"},"schema_version":"1.0","source":{"id":"2502.00372","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2502.00372","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"arxiv_version","alias_value":"2502.00372v3","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2502.00372","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_12","alias_value":"FYTZ3TEJ3XBG","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_16","alias_value":"FYTZ3TEJ3XBG46ZO","created_at":"2026-07-05T11:53:43Z"},{"alias_kind":"pith_short_8","alias_value":"FYTZ3TEJ","created_at":"2026-07-05T11:53:43Z"}],"graph_snapshots":[{"event_id":"sha256:e984b820f14094ae03ad19666ef2a0cefefa8e06b57b7f3ecde6a14e1c9cf755","target":"graph","created_at":"2026-07-05T11:53:43Z","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.00372/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Visual Grounding (VG) tasks, such as referring expression detection and segmentation tasks are important for linking visual entities to context, especially in complex reasoning tasks that require detailed query interpretation. This paper explores VG beyond basic perception, highlighting challenges for methods that require reasoning like human cognition. Recent advances in large language methods (LLMs) and Vision-Language methods (VLMs) have improved abilities for visual comprehension, contextual understanding, and reasoning. These methods are mainly split into end-to-end and compositional meth","authors_text":"Fucai Ke, Hamid Rezatofighi, Maria Garcia de la Banda, Peter J. Stuckey, Reza Haffari, Simindokht Jahangard, Zhixi Cai","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2025-02-01T09:19:08Z","title":"NAVER: A Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2502.00372","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:581ab3386c91073208e22aad44cf58817eb2cfd06d8c4a63c991738b830ed265","target":"record","created_at":"2026-07-05T11:53:43Z","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":"d2acbf780d030c4f102c0e7cd7fae2a53724bc51c678bd4fcd829e259db8e631","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CV","submitted_at":"2025-02-01T09:19:08Z","title_canon_sha256":"c42f922cc9bc7d13f4f4d01f0b78767b55513cf921023aa11c04e36106423671"},"schema_version":"1.0","source":{"id":"2502.00372","kind":"arxiv","version":3}},"canonical_sha256":"2e279dcc89ddc26e7b2ed3190359774e6be6267b1d33b5f7e48099e54858fc7f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e279dcc89ddc26e7b2ed3190359774e6be6267b1d33b5f7e48099e54858fc7f","first_computed_at":"2026-07-05T11:53:43.828601Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:53:43.828601Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"iGn/eVvv1UBjQk7MKppHOjrSlg1pzWxGz883SCTfCl6IkSThmGIqBZj8Tbmmt7ckN+d4KYza9KX54sGgd6uEAg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:53:43.829141Z","signed_message":"canonical_sha256_bytes"},"source_id":"2502.00372","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:581ab3386c91073208e22aad44cf58817eb2cfd06d8c4a63c991738b830ed265","sha256:e984b820f14094ae03ad19666ef2a0cefefa8e06b57b7f3ecde6a14e1c9cf755"],"state_sha256":"8adc2b488e2347f8bf046d945a1dfcb211f2147fd2f163350c0d3aa1ea42af11"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jE+8PM5QivenGep3lCibkBAy1npYoQR5IBidfUDlLBfNkri+M1BAN8sIIVc74JsrzM5NeREGCzZh1Ggi8gwUDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T17:02:58.786230Z","bundle_sha256":"d45ed1c38d867241bf0e9aa24a9391ef2b23861ec44e4a1ad4328ca4576b1d62"}}