CS PhD Student (Graduate Researcher) at Stanford University. Previously, Research Fellow at Microsoft Research. Building Neurosymbolic systems to tame the powers of LLMs and make them usuable in the wild.