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

Baiyang Qu, Leonardo Ranaldi, Xi Wang +1

Large Language Models (LLMs) offer a promising path to automate Clinical Trial Matching (CTM), but still struggle with the deterministic verification required for complex eligibili…