Baiyang Qu Leonardo Ranaldi Xi Wang Marco Valentino Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification. 2026 June abs/2606.20895 CoRR https://doi.org/10.48550/arXiv.2606.20895 db/journals/corr/corr2606.html#abs-2606-20895 streams/journals/corr