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: Discover how to use Nsight Systems for system-wide profiling of GPU-accelerated applications. This workshop will help you identify performance bottlenecks and optimize code efficiency with detailed insights into system and GPU interactions.
Speaker: Melisa Alkan is HPC solutions architect at NVIDIA. She received her PhD in computational chemistry from Iowa State University, where she worked on GPU-acceleration of quantum chemistry codes. Prior to joining NVIDIA, Melisa completed postdoctoral training at Stanford University focusing on applications of AI models in chemistry.
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.