research
∙
10/07/2021
A composable autoencoder-based iterative algorithm for accelerating numerical simulations
Numerical simulations for engineering applications solve partial differe...
share
research
∙
08/03/2021
OVERT: An Algorithm for Safety Verification of Neural Network Control Policies for Nonlinear Systems
Deep learning methods can be used to produce control policies, but certi...
research
∙
04/15/2021
Geometry encoding for numerical simulations
We present a notion of geometry encoding suitable for machine learning-b...
research
∙
04/06/2021
A Latent space solver for PDE generalization
In this work we propose a hybrid solver to solve partial differential eq...
research
∙
03/03/2021