Paper Citation Record · LEDGER

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification

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.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2606.20895 v1

Coverage vector

measured 22 of 22 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-07-11T11:50:26.030339Z

measured 22 of 22 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

22 of 22 outbound references displayed

verified exact1
verified fuzzy0
unresolved19
parse uncertain1
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1c7483f9-8e65-431d-aad8-259bca3f24c4 · outbound

This paper cites ISBN 979-8-89176-348-7.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification ISBN 979-8-89176-348-7

Reference 1

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fab60d38-54e2-4487-af52-28d7746b1c7e · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 16d831bd-4c52-4c7c-bf9a-40143ce6b67b · outbound

This paper cites Olmo 3.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Olmo 3

Reference 3

Resolution: verified exact; local_arxiv, observed 2026-06-26T17:09:36.077110Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation d922e349-fd31-4554-b5ef-06b16a334b18 · outbound

This paper cites patient is an adult.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification patient is an adult

Reference 4

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b5c27aa7-455e-4ee1-ae1b-c9b87dbe93b9 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 53a252cf-028e-4922-a3d1-fdc4f76565f8 · outbound

This paper cites This allows the solver to explore possibilities.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification This allows the solver to explore possibilities

Reference 6

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3a23ed2a-5c5e-4f01-8393-8336ed158d77 · outbound

This paper cites approximately equal.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification approximately equal

Reference 10

Resolution: malformed identifier; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e072e5a-f469-487e-98b3-023985b7ae6f · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5201c7f7-266b-452f-a367-39ef0ea400d5 · outbound

This paper cites You are a Z3 formalization expert. Output ONLY executable Z3 code. You MUST wrap the entire code in a single'```z3'code block.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification You are a Z3 formalization expert. Output ONLY executable Z3 code. You MUST wrap the entire code in a single'```z3'code block

Reference 12

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d87b71fd-5fb0-4e59-8a0b-c08b53894452 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a69830c2-8974-4f34-9d2e-b35dfead9aa3 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8102b68c-9221-4109-8c5a-a2f79c1f664b · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 15

Resolution: parse uncertain; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2df80216-0209-4cd8-b89f-0d92be6d0813 · outbound

This paper cites NEVER use Unicode symbols like >=, <=, ~, !=, etc.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification NEVER use Unicode symbols like >=, <=, ~, !=, etc

Reference 16

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9fac7b02-c730-4e95-821c-c8f3d9ec7e0f · outbound

This paper cites * Parameter Separation: do not forget to use commas where needed.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification * **Parameter Separation**: do not forget to use commas where needed

Reference 17

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2f5f1890-e486-4416-9542-4159516b9746 · outbound

This paper cites approximately equal.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification approximately equal

Reference 18

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78651fd5-662b-4081-a809-4c93719ff2f7 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3d9936f6-6c38-452f-8e02-e0f35e812840 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 20

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e83e6af-32c3-4d2e-b477-b577a77d507e · outbound

This paper cites 2" (Eligible) or.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification 2" (Eligible) or

Reference 21

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4df1acbc-61f2-4500-8208-56c855aed566 · outbound

This paper cites "" G.3 Template C: QuaSAR Prompt.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification "" G.3 Template C: QuaSAR Prompt

Reference 22

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 260433d1-1b20-432e-bf6e-1da5a1f421f5 · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc082c82-71c5-47cf-b00f-34e71b86662b · outbound

This paper cites an unresolved cited work.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e169ecd-caf2-4c19-8193-2d59fff04e1a · outbound

This paper cites "" G.4 Template D: Chain-of-Thought Prompt f.

Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification "" G.4 Template D: Chain-of-Thought Prompt f

Reference 25

Resolution: unresolved; no resolver link, observed 2026-06-26T17:04:04.342224Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.