VERDICT makes LLM clinical trial matching auditable via SMT

VERDICT is an LLM agent that makes clinical trial matching auditable and consistent by translating decision policies into satisfiability modulo theories, outperforming existing LLM-only and neurosymbolic methods on benchmark datasets.

This Wire brief sits within Fusion42's coverage of AI Agents and Healthtech Infrastructure.