TY - RPRT TI - Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification AU - Baiyang Qu AU - Leonardo Ranaldi AU - Xi Wang AU - Marco Valentino PY - 2026 UR - https://arxiv.org/abs/2606.20895 ID - 2606.20895 ER -