Title: Data-driven Verification for Safe Autonomy: Reachability, Entropy, and Perception Contracts Abstract Todays verification technologies for autonomous and cyber-physical systems require detailed models which is one of the barriers that keep them from being widely used. In this talk, I will first present the basic idea of data-driven reachability analysis for systems with both black and white-box […]
TrAC ADLRG Mini-course on Generative AI (class 2/4) In this mini-course, we will cover concepts in Generative AI such as Diffusion, etc.
TrAC DLRG Mini-course on MLOps (class 1/3) In this mini-course, we will cover DevOps and best practices for training, monitoring, and deploying deep learning models.
Welcome to TrAC Day! Hosted by The Translational AI Center When: Wednesday, April 3rdTime: 3:00 p.m.Where: Student Innovation Center, Iowa State University About TrAC Day The Translational AI Center is […]
TrAC ADLRG Mini-course on Generative AI (class 3/4) In this mini-course, we will cover concepts in Generative AI such as Diffusion, etc.
Title: ∇-Prox: Differentiable Proximal Algorithm Modeling for Large-Scale Optimization Link to the paper: https://light.princeton.edu/publication/delta_prox/
TrAC DLRG Mini-course on MLOps (class 2/3) In this mini-course, we will cover DevOps and best practices for training, monitoring, and deploying deep learning models.
Title: A Graph Neural Network Surrogate for Epitaxial Crystal Growth Abstract Predicting grain (crystal) formation and growth during alloy solidification is of great importance in additive manufacturing (AM) as it one of the key factors in determining the final microstructure and the mechanical properties of the printed part. Numerical simulations of grain formation involve moving […]
TrAC ADLRG Mini-course on Generative AI (class 4/4) In this mini-course, we will cover concepts in Generative AI such as Diffusion, etc.
Title: Hyperspectral Neural Radiance Fields
