Investigating methods to bridge probabilistic language models with deterministic automated theorem proving. Focus areas include medical guideline formalization, SMT constraint solving via Microsoft Z3, and eliminative abductive reasoning.
Supervised by: 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.
Supervised by: 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.