{"as_of":"2026-08-19T06:57:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:8434161d14b8e6f904bc62772cbd83d57a2c70baea8e2369484eeb4b865369ce","coverage":[{"denominator":22,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":22,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-11T11:50:26.030339Z","state":"measured"},{"denominator":22,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":22,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-19T06:32:44.657259+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2606.20895/citation-record","integrity":"/paper/2606.20895/integrity","json":"/paper/2606.20895/citation-record.json","paper":"/paper/2606.20895"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"ISBN 979-8-89176-348-7","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:c763472d003483efb9a0f0ccd86e1f2d059854494bdaac0473eb054a1d452d4a","observation_id":"1c7483f9-8e65-431d-aad8-259bca3f24c4","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:7abeeb3529a76963ad4cedf02ebc84e859e36f1a82fc007648bf4c2b0af3c7c9","observation_id":"fab60d38-54e2-4487-af52-28d7746b1c7e","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2512.13961","last_updated":"2026-04-14T15:12:44Z","snapshot_observed_at":"2026-08-16T16:18:35.731432Z","submitted_at":"2025-12-15T23:41:48Z","title":"Olmo 3","version":2},"cited_work":{"arxiv_id":"2512.13961","doi":"10.1007/s13755-026-00428-z","metadata_source":"pith","pith_arxiv_id":"2512.13961","snapshot_observed_at":"2026-08-05T02:49:54.815029Z","title":"Olmo 3","venue":"cs.CL","work_id":"74de5f5e-0a69-4f73-862d-e5705fa9f4bb","year":2025},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-11T11:50:26.030339Z"},"links":{"cited_paper":"/paper/2512.13961","citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:464f343ab2fd6bd093b07254720a968674b56eff32f329acfe53e3f3b166ae67","observation_id":"16d831bd-4c52-4c7c-bf9a-40143ce6b67b","resolution":{"observed_at":"2026-06-26T17:09:36.077110Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"patient is an adult","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:67753364348b72ea9b412bef5113442848270aaa18fde25bd5362a2a586195bf","observation_id":"d922e349-fd31-4554-b5ef-06b16a334b18","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:9e846702c0a55b78cb9d513cadb3d8c8470d272284b138a4399c34d591463b2b","observation_id":"b5c27aa7-455e-4ee1-ae1b-c9b87dbe93b9","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"This allows the solver to explore possibilities","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:5fdb6d2bb99502fa39e25ecdeefa3666af33ca4fdd0298c8a179a08e14f79885","observation_id":"53a252cf-028e-4922-a3d1-fdc4f76565f8","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"approximately equal","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:1becea7fcd763a67deb47b494f5d96814a68592cdb5fe2918e6e175cd49ab380","observation_id":"3a23ed2a-5c5e-4f01-8393-8336ed158d77","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:72b3e2ccfcd637f35906a59081e25c2457000971204b0455aabe1b2995dd1582","observation_id":"7e072e5a-f469-487e-98b3-023985b7ae6f","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"You are a Z3 formalization expert. Output ONLY executable Z3 code. You MUST wrap the entire code in a single'```z3'code block","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:336873aac30b3e13f6ced3f863b3f86c1067e186744661e98892919765fe81f1","observation_id":"5201c7f7-266b-452f-a367-39ef0ea400d5","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:f564126f4f3479e69f5387a0b8b5d83a9776d7cf9ef6fd81d3bcfd7c4585b646","observation_id":"d87b71fd-5fb0-4e59-8a0b-c08b53894452","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:1012d118715fc58efcc02ad12fc943d0527a2dbf7b29bfaeee2ed95618706b05","observation_id":"a69830c2-8974-4f34-9d2e-b35dfead9aa3","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:3665bcf1f2863382121bfe782b02f6211a15d58386a658caf49794a6f9768828","observation_id":"8102b68c-9221-4109-8c5a-a2f79c1f664b","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"parse_uncertain"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"NEVER use Unicode symbols like >=, <=, ~, !=, etc","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:1176cce3a812eb811d2d44938c158398a7e8740e0b911d1e6719cf12eb1c24e8","observation_id":"2df80216-0209-4cd8-b89f-0d92be6d0813","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"* **Parameter Separation**: do not forget to use commas where needed","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:b396d2adb5e884407ae4aaa20284058651863481bb04310f82bb0590132b002a","observation_id":"9fac7b02-c730-4e95-821c-c8f3d9ec7e0f","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"approximately equal","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:db0223bdb529ca5b165b5bd1709275d9a66c8545aa6df4096785d24edc078451","observation_id":"2f5f1890-e486-4416-9542-4159516b9746","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:9b731b2a31218ba1b1a44db8a91177b0668449348a5ce709b863d10f7968d73f","observation_id":"78651fd5-662b-4081-a809-4c93719ff2f7","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:77e6dc5b2372b36521c0be0cf8b1e49e4c5281afdaa1886d794a5b686959e775","observation_id":"3d9936f6-6c38-452f-8e02-e0f35e812840","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"2\" (Eligible) or","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:ca589108a1d3ba2aeae7479783f70b2acb66d1e9e78a1e9b0ee3a7196be2ba14","observation_id":"6e83e6af-32c3-4d2e-b477-b577a77d507e","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"\"\" G.3 Template C: QuaSAR Prompt","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:0989871ff80abfdffb21c8817e41af68e356796469c7d539f6b934fbdee29516","observation_id":"4df1acbc-61f2-4500-8208-56c855aed566","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:e2ad4148a26e230f87ccf9793a14e698310472e566633ee24165136d5566845b","observation_id":"260433d1-1b20-432e-bf6e-1da5a1f421f5","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:deb27eeabfe50dce90c8158b5858cea61ce13dcfeeacf03794a2522c91170895","observation_id":"dc082c82-71c5-47cf-b00f-34e71b86662b","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-06-26T17:04:04.342224Z","title":"\"\" G.4 Template D: Chain-of-Thought Prompt f","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-06-26T17:04:04.342224Z"},"links":{"citing_paper":"/paper/2606.20895"},"observation_digest":"sha256:af1f7f27b7cf9dbb8069cafb67b347ba64b5bfe3617be64e253eba0427291781","observation_id":"8e169ecd-caf2-4c19-8193-2d59fff04e1a","resolution":{"observed_at":"2026-06-26T17:04:04.342224Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2606.20895","last_updated":"2026-06-18T19:43:57Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-07-06T23:55:57.945000Z","submitted_at":"2026-06-18T19:43:57Z","title":"Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification"},"reference_resolution":{"displayed":22,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":1,"unresolved":19,"verified_exact":1,"verified_fuzzy":0},"total_outbound_references":22},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-19T06:32:44.657259+00:00","source":"crossref"},{"observed_at":"2026-08-19T06:32:39.956319+00:00","source":"retraction_watch"}],"thesis":"As of 19 August 2026, this Paper Citation Record lists 22 of 22 outbound references and 0 inbound Pith citation observations for arXiv:2606.20895."}