My current research focus is on AI for Scientific Discovery. I am particularly interested in AI for Math (e.g., Automated Theorem Proving, better foundation models for Math), building agents for finding supporting/contrary evidence from literature, and retrieval-augmented and memory architectures for supporting these use cases.