Zeyu Zheng

Research Scientist at Google DeepMind

Zheng studies how an AI agent can determine which earlier actions deserve credit for a later success or failure—a central challenge when learning from rewards. He also contributed to AlphaProof, which learned to solve and formally verify difficult mathematical problems.