{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:EBCGIID7I4OO5F6Q3ARFXOP2F2","short_pith_number":"pith:EBCGIID7","schema_version":"1.0","canonical_sha256":"204464207f471cee97d0d8225bb9fa2e954b196b1d88ad0644b4ca7df07e3bfd","source":{"kind":"arxiv","id":"2606.20895","version":1},"attestation_state":"computed","paper":{"title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Baiyang Qu, Leonardo Ranaldi, Marco Valentino, Xi Wang","submitted_at":"2026-06-18T19:43:57Z","abstract_excerpt":"Large Language Models (LLMs) offer a promising path to automate Clinical Trial Matching (CTM), but still struggle with the deterministic verification required for complex eligibility criteria. Conversely, purely symbolic methods provide formal rigour but break down when faced with incomplete patient records and noisy clinical evidence. To bridge this gap, we investigate a hybrid framework for CTM combining LLMs with logical verification. In particular, we introduce an abductive neurosymbolic CTM framework ({\\alpha}NeSy-CTM), which leverages the linguistic and world knowledge in LLMs to support"},"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":"2606.20895","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-06-18T19:43:57Z","cross_cats_sorted":[],"title_canon_sha256":"95f2e03332df8e1e793d952b33b8aabb9099c4acd277533f36f41df7d3ca25ec","abstract_canon_sha256":"4642936d95d000ad519879fe6c0ae0e282141fc38f02525180d5e801b80bcc8a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T00:12:02.064170Z","signature_b64":"A6AS7/1CNFY+1djUg7ccGE1ZvHUuNhtT/CTRG0LUR9D1QsUz8cV4oFcdV24CkG2Iou7razVZNcW8lKwPtMpBCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"204464207f471cee97d0d8225bb9fa2e954b196b1d88ad0644b4ca7df07e3bfd","last_reissued_at":"2026-06-23T00:12:02.063678Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T00:12:02.063678Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Baiyang Qu, Leonardo Ranaldi, Marco Valentino, Xi Wang","submitted_at":"2026-06-18T19:43:57Z","abstract_excerpt":"Large Language Models (LLMs) offer a promising path to automate Clinical Trial Matching (CTM), but still struggle with the deterministic verification required for complex eligibility criteria. Conversely, purely symbolic methods provide formal rigour but break down when faced with incomplete patient records and noisy clinical evidence. To bridge this gap, we investigate a hybrid framework for CTM combining LLMs with logical verification. In particular, we introduce an abductive neurosymbolic CTM framework ({\\alpha}NeSy-CTM), which leverages the linguistic and world knowledge in LLMs to support"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2606.20895","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/2606.20895/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":"2606.20895","created_at":"2026-06-23T00:12:02.063737+00:00"},{"alias_kind":"arxiv_version","alias_value":"2606.20895v1","created_at":"2026-06-23T00:12:02.063737+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2606.20895","created_at":"2026-06-23T00:12:02.063737+00:00"},{"alias_kind":"pith_short_12","alias_value":"EBCGIID7I4OO","created_at":"2026-06-23T00:12:02.063737+00:00"},{"alias_kind":"pith_short_16","alias_value":"EBCGIID7I4OO5F6Q","created_at":"2026-06-23T00:12:02.063737+00:00"},{"alias_kind":"pith_short_8","alias_value":"EBCGIID7","created_at":"2026-06-23T00:12:02.063737+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2","json":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2.json","graph_json":"https://pith.science/api/pith-number/EBCGIID7I4OO5F6Q3ARFXOP2F2/graph.json","events_json":"https://pith.science/api/pith-number/EBCGIID7I4OO5F6Q3ARFXOP2F2/events.json","paper":"https://pith.science/paper/EBCGIID7"},"agent_actions":{"view_html":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2","download_json":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2.json","view_paper":"https://pith.science/paper/EBCGIID7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2606.20895&json=true","fetch_graph":"https://pith.science/api/pith-number/EBCGIID7I4OO5F6Q3ARFXOP2F2/graph.json","fetch_events":"https://pith.science/api/pith-number/EBCGIID7I4OO5F6Q3ARFXOP2F2/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2/action/timestamp_anchor","attest_storage":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2/action/storage_attestation","attest_author":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2/action/author_attestation","sign_citation":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2/action/citation_signature","submit_replication":"https://pith.science/pith/EBCGIID7I4OO5F6Q3ARFXOP2F2/action/replication_record"}},"created_at":"2026-06-23T00:12:02.063737+00:00","updated_at":"2026-06-23T00:12:02.063737+00:00"}