Neural Methods for Plasma Simulation and Mathematical Formalization

Vasily Ilin
-
SMI 307
1911 NE Skagit Lane, Seattle, WA 98105 - Google Map

Vasily Ilin's PhD defense.

I will summarize my PhD research, concentrating on two areas: machine learning for plasma simulation, and AI for formalizing mathematics in Lean.

Event Type
Event Subcalendar