Previous Conferences & Workshops

Jan
15
2020

Mathematical Conversations

Hypocoercivity
George Deligiannidis
6:00pm|Dilworth Room

I will talk about an approach to proving exponential mixing for some kinetic, non-diffusive stochastic processes, that have recently become popular in computational statistics community.

Jan
14
2020

Joint IAS/PNI Seminar on ML and Neuroscience

Compositional inductive biases in human function learning
Samuel J. Gershman
12:00pm|Dilworth Room

This talk presents evidence that humans learn complex functions by harnessing compositionality: complex structure is decomposed into simpler building blocks. I formalize this idea in the framework of Bayesian nonparametric regression using a grammar...

Jan
13
2020

Analysis Seminar

Weak solutions to the Navier--Stokes inequality with arbitrary energy profiles
Wojciech Ożański
5:00pm|Simonyi Hall 101

In the talk we will focus on certain constructions of weak solutions to the Navier--Stokes inequality (NSI), \[ u \cdot \left( u_t - \nu \Delta + (u\cdot \nabla ) u+ \nabla p \right) \leq 0\] on $\mathbb R^3$. Such vector fields satisfy both the...

Dec
18
2019

Mathematical Conversations

Faster and Simpler Algorithms for Robust Statistics
6:00pm|Dilworth Room

In this talk, we will discuss some of the recent advances in high-dimensional robust statistics. In particular, we will focus on designing faster and simpler robust algorithms for fundamental statistical and machine learning problems.

Dec
18
2019

Theoretical Machine Learning Seminar

Online Learning in Reactive Environments
12:00pm|Dilworth Room

Online learning is a popular framework for sequential prediction problems. The standard approach to analyzing an algorithm's (learner's) performance in online learning is in terms of its empirical regret defined to be the excess loss suffered by the...

Dec
17
2019

Theoretical Machine Learning Seminar

How will we do mathematics in 2030 ?
Michael R. Douglas
12:00pm|White-Levy

We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences. This includes interactive and automatic theorem verification, symbolic algebra, and emerging technologies such...

Dec
17
2019

Computer Science/Discrete Mathematics Seminar II

Permutation property testing
10:30am|Simonyi Hall 101

The importance of analyzing big data and in particular very large networks has shown that the traditional notion of a fast algorithm, one that runs in polynomial time, is often insufficient. This is where property testing comes in, whose goal is to...