-
principled new models and methods, for modern machine learning problems. Machine learning recently has been largely advanced by differential equation-based frameworks, such as generative diffusion models
-
scaling model sizes, training budgets, and datasets; often at substantial computational and environmental costs. This PhD project targets sustainable and resource-efficient machine learning with a focus on
-
for efficient last-mile deliveries with a focus on climate and flexibility. Using advanced modeling and data analysis, you’ll create solutions that make final deliveries smarter and more sustainable. Your work
Searches related to model checking
Enter an email to receive alerts for model-checking positions