{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:GT2RUAWOYTBCOGPDR5PZMQLACL","short_pith_number":"pith:GT2RUAWO","canonical_record":{"source":{"id":"2409.10196","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-16T11:42:15Z","cross_cats_sorted":["cs.AI","cs.CV"],"title_canon_sha256":"cfd39019ae28acdbef92a077f17adbf3dcf7125b121a34db2c8a49121f22870d","abstract_canon_sha256":"7558601251cc0e7d1fd40e5641688615499c2c53e5b9cb196809431131cec334"},"schema_version":"1.0"},"canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","source":{"kind":"arxiv","id":"2409.10196","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.10196","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"arxiv_version","alias_value":"2409.10196v1","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.10196","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_12","alias_value":"GT2RUAWOYTBC","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_16","alias_value":"GT2RUAWOYTBCOGPD","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_8","alias_value":"GT2RUAWO","created_at":"2026-07-05T09:07:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:GT2RUAWOYTBCOGPDR5PZMQLACL","target":"record","payload":{"canonical_record":{"source":{"id":"2409.10196","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-16T11:42:15Z","cross_cats_sorted":["cs.AI","cs.CV"],"title_canon_sha256":"cfd39019ae28acdbef92a077f17adbf3dcf7125b121a34db2c8a49121f22870d","abstract_canon_sha256":"7558601251cc0e7d1fd40e5641688615499c2c53e5b9cb196809431131cec334"},"schema_version":"1.0"},"canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:07:36.558000Z","signature_b64":"dEBC24q35C2o1kf8+/LkY2idNE3fGTcoQz1f3L/oEs62ph/oytQikDGpb4EalI7OursiWtIhDWpGZ5ZPa7NBBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","last_reissued_at":"2026-07-05T09:07:36.557502Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:07:36.557502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2409.10196","source_version":1,"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-05T09:07:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qnDgUmymv6bd/NC1v1Q52EPHX7sTcc4J0BJJmoSCR5OKPRs/ep7H41LG13dPrZGq8U2PJLhW/fPdF9hvjXyBCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:39:56.118222Z"},"content_sha256":"43d3d0a33a5662781b5591b8c8114256dc45b480dd95a0dd9cac2bd027aebd18","schema_version":"1.0","event_id":"sha256:43d3d0a33a5662781b5591b8c8114256dc45b480dd95a0dd9cac2bd027aebd18"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:GT2RUAWOYTBCOGPDR5PZMQLACL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AI","cs.CV"],"primary_cat":"cs.RO","authors_text":"Alexey Ignatiev, Boying Li, Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Hanbing Li, Julian Gutierrez Santiago, Kal Backman, Kevin Leo, Lizhen Qu, Mahsa Ghorbanali, Maria Garcia de la Banda, Mor Vered, Peter J Stuckey, Stavya Datta, Yuan-Fang Li, Zhixi Cai","submitted_at":"2024-09-16T11:42:15Z","abstract_excerpt":"This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in large, hazard-prone environments with keep-out zones. The UAV must perceive, reason, and make decisions with limited and uncertain information. We propose NEUSIS, a compositional neuro-symbolic system designed for interpretable UAV search and navigation in realistic scenarios. NEUSIS integrates neuro-symbolic visual perception, reasoning, and grounding (GRiD) to process raw sensory inputs, maintains a probabilistic "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.10196","kind":"arxiv","version":1},"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/2409.10196/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-05T09:07:36Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GPlX1rzm7peEW4x9Pc4Ed+NBmR1muWn6wuH2oiyCCFgbx38yg+5WZvZri/7tbcOc6TMKA8Z1xvMQY6dqm1qeBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T16:39:56.118776Z"},"content_sha256":"24b7d3a50b1121b75bdcef10a3a71db20ce899016e1d14ed02fe8733be4de215","schema_version":"1.0","event_id":"sha256:24b7d3a50b1121b75bdcef10a3a71db20ce899016e1d14ed02fe8733be4de215"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/bundle.json","state_url":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/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-13T16:39:56Z","links":{"resolver":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL","bundle":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/bundle.json","state":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:GT2RUAWOYTBCOGPDR5PZMQLACL","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":"7558601251cc0e7d1fd40e5641688615499c2c53e5b9cb196809431131cec334","cross_cats_sorted":["cs.AI","cs.CV"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-16T11:42:15Z","title_canon_sha256":"cfd39019ae28acdbef92a077f17adbf3dcf7125b121a34db2c8a49121f22870d"},"schema_version":"1.0","source":{"id":"2409.10196","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2409.10196","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"arxiv_version","alias_value":"2409.10196v1","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.10196","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_12","alias_value":"GT2RUAWOYTBC","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_16","alias_value":"GT2RUAWOYTBCOGPD","created_at":"2026-07-05T09:07:36Z"},{"alias_kind":"pith_short_8","alias_value":"GT2RUAWO","created_at":"2026-07-05T09:07:36Z"}],"graph_snapshots":[{"event_id":"sha256:24b7d3a50b1121b75bdcef10a3a71db20ce899016e1d14ed02fe8733be4de215","target":"graph","created_at":"2026-07-05T09:07:36Z","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/2409.10196/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper addresses the problem of autonomous UAV search missions, where a UAV must locate specific Entities of Interest (EOIs) within a time limit, based on brief descriptions in large, hazard-prone environments with keep-out zones. The UAV must perceive, reason, and make decisions with limited and uncertain information. We propose NEUSIS, a compositional neuro-symbolic system designed for interpretable UAV search and navigation in realistic scenarios. NEUSIS integrates neuro-symbolic visual perception, reasoning, and grounding (GRiD) to process raw sensory inputs, maintains a probabilistic ","authors_text":"Alexey Ignatiev, Boying Li, Chenyuan Zhang, Cristian Rojas Cardenas, Hamid Rezatofighi, Hanbing Li, Julian Gutierrez Santiago, Kal Backman, Kevin Leo, Lizhen Qu, Mahsa Ghorbanali, Maria Garcia de la Banda, Mor Vered, Peter J Stuckey, Stavya Datta, Yuan-Fang Li, Zhixi Cai","cross_cats":["cs.AI","cs.CV"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-16T11:42:15Z","title":"NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2409.10196","kind":"arxiv","version":1},"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:43d3d0a33a5662781b5591b8c8114256dc45b480dd95a0dd9cac2bd027aebd18","target":"record","created_at":"2026-07-05T09:07:36Z","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":"7558601251cc0e7d1fd40e5641688615499c2c53e5b9cb196809431131cec334","cross_cats_sorted":["cs.AI","cs.CV"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.RO","submitted_at":"2024-09-16T11:42:15Z","title_canon_sha256":"cfd39019ae28acdbef92a077f17adbf3dcf7125b121a34db2c8a49121f22870d"},"schema_version":"1.0","source":{"id":"2409.10196","kind":"arxiv","version":1}},"canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","first_computed_at":"2026-07-05T09:07:36.557502Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:07:36.557502Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"dEBC24q35C2o1kf8+/LkY2idNE3fGTcoQz1f3L/oEs62ph/oytQikDGpb4EalI7OursiWtIhDWpGZ5ZPa7NBBw==","signature_status":"signed_v1","signed_at":"2026-07-05T09:07:36.558000Z","signed_message":"canonical_sha256_bytes"},"source_id":"2409.10196","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:43d3d0a33a5662781b5591b8c8114256dc45b480dd95a0dd9cac2bd027aebd18","sha256:24b7d3a50b1121b75bdcef10a3a71db20ce899016e1d14ed02fe8733be4de215"],"state_sha256":"7982a992a959c667c2b01d6d77ceef9ae0fc52972a998ec519f58f2edfd4b7dc"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"owNObMM4zaspCpd9z3WM8MJcZO3DEr61gpefuD0l40rdzRgH+1GU0tyJ8l0rs0gk3xBkH3hliLBmWdavch+gDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T16:39:56.187111Z","bundle_sha256":"e005ed4ac20f2f3a9d56222aa2c444ca4fcdfc95b6e45a62c992e8463a5e6ae0"}}