(Andrew) Zhanke Zhou

My research focuses on trustworthy machine reasoning with foundation models to solve complex problems such as mathematics, coding, and planning, as well as to accelerate scientific discovery and application in fields like biology, chemistry, and healthcare. I believe that reasoning is the essential pathway to achieving AGI. Trustworthy machine reasoning encompasses properties such as reasoning power, robustness, safety, and explainability. My work involves developing methodologies, benchmarks, and theoretical foundations to advance these areas.