Despite their impressive performance, machine learning systems remain prohibitively unreliable in safety-, trust-, and ethically sensitive domains. Recent discussions in different sub-fields of AI have reached the consensus of knowledge...
Read more
During development, organisms interact with their natural habitats while undergoing morphological changes, yet we know little about how the interplay between developing systems and their environments impacts animal morphogenesis. Cnidaria,...
Read more
Not so long ago, the relations between algebraic geometry and combinatorics were strictly governed by the former party, with results like log-concavity of the coefficients of the characteristic polynomial of...
Read more
This is a work in progress joint with Daniel Disegni. We formulate a p-adic analogue of the Arithmetic Gan--Gross--Prasad conjecture for unitary groups, relating the p-adic height pairing of the...
Read more
This is a work in progress joint with Daniel Disegni. We formulate a p-adic analogue of the Arithmetic Gan--Gross--Prasad conjecture for unitary groups, relating the p-adic height pairing of the...
Read more
A growing number of mathematicians are having fun explaining mathematics to computers using proof assistant softwares. This process is called formalization. In this talk I'll describe what formalization looks like,...
Read more
The n-queens problem asks how many ways there are to place n queens on an n x n chessboard so that no two queens can attack one another, and the...
Read more
The heart of modern machine learning (ML) is the approximation of high-dimensional functions. Traditional approaches, such as approximation by piecewise polynomials, wavelets, or other linear combinations of fixed basis functions,...
Read more
The double ramification cycle -- roughly speaking, the cycle of curves admitting a rational function with prescribed ramification profile -- is an algebraic cycle in the moduli space of curves,...
Read more
*Note special time* ----- Subscribe to Harvard CMSA seminar videos (more to be uploaded): https://www.youtube.com/channel/UCBmPO-OK1sa8T1oX_9aVhAg/playlists https://www.youtube.com/channel/UCM06KiUOw1vRrmvD8U274Ww https://harvard.zoom.us/j/977347126 Password: cmsa
Read more