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
We're pleased to invite you to the inaugural data science for sustainability series event! This session is a Lunch & Learn on Data Fusion for Sustainability, an informal gathering to discuss methodologies for combining heterogeneous data sources and their applications to sustainability challenges. Please register here!
This session will cover:
Current data fusion techniques and emerging approaches
Case studies: remote sensing + ground truth validation, ML + physics-based models, multi-sensor integration
Applications across climate, energy, agriculture, and conservation research
Opportunities for cross-disciplinary collaboration
Why this matters: Many of us work with incomplete datasets or face challenges in model validation. This session will explore how data fusion approaches are addressing these gaps and may offer relevant methods for your own research.
Event details:
Date: January 22, 2026
Time: 12:00 - 1:30 pm
Location: E365 Conference Room, CoDa Building
Lunch provided!