Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Publication
Steering LLMs for Formal Theorem Proving
Microsoft Research Blog
Exploring the structural changes driving protein function with BioEmu-1
Meet BioEmu-1 from Microsoft Research. This deep learning model can generate thousands of protein structures per hour, unlocking new possibilities for protein scientists and drug discovery and research.
Project
Project Gecko
A cross-lab initiative building equitable, trusted multilingual Copilots for population-scale use, starting with speech-first agricultural assistants for smallholder farmers in East Africa and South Asia