{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:GT2RUAWOYTBCOGPDR5PZMQLACL","short_pith_number":"pith:GT2RUAWO","schema_version":"1.0","canonical_sha256":"34f51a02cec4c22719e38f5f96416012c4b6ce4d57e6572e7120b4cbe87711cd","source":{"kind":"arxiv","id":"2409.10196","version":1},"attestation_state":"computed","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 "},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2409.10196","created_at":"2026-07-05T09:07:36.557572+00:00"},{"alias_kind":"arxiv_version","alias_value":"2409.10196v1","created_at":"2026-07-05T09:07:36.557572+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2409.10196","created_at":"2026-07-05T09:07:36.557572+00:00"},{"alias_kind":"pith_short_12","alias_value":"GT2RUAWOYTBC","created_at":"2026-07-05T09:07:36.557572+00:00"},{"alias_kind":"pith_short_16","alias_value":"GT2RUAWOYTBCOGPD","created_at":"2026-07-05T09:07:36.557572+00:00"},{"alias_kind":"pith_short_8","alias_value":"GT2RUAWO","created_at":"2026-07-05T09:07:36.557572+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2412.12096","citing_title":"PanSplat: 4K Panorama Synthesis with Feed-Forward Gaussian Splatting","ref_index":10,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL","json":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL.json","graph_json":"https://pith.science/api/pith-number/GT2RUAWOYTBCOGPDR5PZMQLACL/graph.json","events_json":"https://pith.science/api/pith-number/GT2RUAWOYTBCOGPDR5PZMQLACL/events.json","paper":"https://pith.science/paper/GT2RUAWO"},"agent_actions":{"view_html":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL","download_json":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL.json","view_paper":"https://pith.science/paper/GT2RUAWO","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2409.10196&json=true","fetch_graph":"https://pith.science/api/pith-number/GT2RUAWOYTBCOGPDR5PZMQLACL/graph.json","fetch_events":"https://pith.science/api/pith-number/GT2RUAWOYTBCOGPDR5PZMQLACL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/action/storage_attestation","attest_author":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/action/author_attestation","sign_citation":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/action/citation_signature","submit_replication":"https://pith.science/pith/GT2RUAWOYTBCOGPDR5PZMQLACL/action/replication_record"}},"created_at":"2026-07-05T09:07:36.557572+00:00","updated_at":"2026-07-05T09:07:36.557572+00:00"}