-
optimal transport and gradient flows to machine learning and optimization applications, such as deep generative models, sampling, inference, stochastic optimization, and beyond. The doctoral student will
Searches related to model checking
Enter an email to receive alerts for model-checking positions