The CCIMI blog

Computer-aided worst-case analyses and design of first-order methods for convex optimization

Read this post

Approximate Cross Validation for Large Data and High Dimensions

Read this post

Collaborative Analytics and Education in Data Science

Read this post

Machine learning and theorem proving

Read this post

CCIMI Colloquium – The Statistical Finite Element Method

Read this post

An Introduction to Randomized Algorithms for Matrix Computations This is a joint ACA–CCIMI seminar

Read this post

CCIMI Video Contest

Read this post

Diffusion bridge simulation in geometric statistics

Read this post

Stochastic variants of classical optimization methods, with complexity guarantees

Read this post

A variational approach to nonlinear and interacting diffusions

Read this post