Neural Methods for Plasma Simulation and Mathematical Formalization

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.