AINeutralarXiv – CS AI · 8h ago6/10
🧠
Neurosymbolic Clinical Trial Matching via LLM-Driven Abduction and Logical Verification
Researchers introduce αNeSy-CTM, a hybrid neurosymbolic framework combining Large Language Models with logical verification to automate clinical trial matching. The system achieves 30% relative improvement over zero-shot baselines by leveraging LLM language capabilities alongside formal symbolic reasoning to handle incomplete patient records and complex eligibility criteria.