Get the latest news, advances in research, policy work, and education program updates from HAI in your inbox weekly.
Sign Up For Latest News
A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.

A eureka moment is a two-step process: discovering something new and surprising, and establishing that it is correct. Drawing on her work at Axiom, Carina will discuss the transition from solving mathematical benchmarks to contributing to research, and from proving individual theorems to formalizing mathematical theories in Lean.
A Center for Neural Data Science Seminar Series

A Center for Neural Data Science Seminar Series
Abstract: This session provides an overview of NVIDIA Clara, which is an accelerated, AI-enabled platform for healthcare and life sciences. It will specifically highlight accelerated solutions for research areas such as medical imaging, genomics, drug discovery, LLMs and biomedical AI research assistant agents.
Speaker: Huiwen Ju is a Solutions Architect on the Higher Education & Research team at NVIDIA, where she helps researchers in the healthcare and life sciences domain leverage full-stack solutions to accelerate their research. She has a background in computational neuroscience with a Ph.D. from Georgia State University.
We are excited to announce a series of NVIDIA-led workshops designed to enhance your expertise in GPU computing. Whether you're a beginner or looking to deepen your skills, these sessions offer valuable insights and hands-on learning opportunities. Workshops are expected to be held on a monthly basis.