Undergraduate research exploring the integration of probabilistic language models with deterministic automated theorem proving (Z3 SMT solver) for clinical polypharmacy verification.
Academic supervision: Assistant Professor, Dept. of CSE, Daffodil International University
An undergraduate thesis proposal modeling and formally verifying polypharmacy clinical guidelines across cardiovascular, renal, and metabolic co-morbidities using first-order logic and Z3 SMT solver.
Academic supervision: Assistant Professor, Dept. of CSE, Daffodil International University
A specialized clinical reasoning engine bridging fluid Large Language Model semantic extractions with rigid clinical requirements using Pydantic typing and Microsoft's Z3 SMT solver for deterministic satisfiability checking.