Recently Added

Compositional inductive biases in human function learning

Samuel J. Gershman
Harvard University
January 14, 2020
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 over Gaussian process kernels, and compare this approach with other structure learning approaches. People consistently chose compositional (over non-compositional) extrapolations and interpolations of functions.

How will we do mathematics in 2030 ?

Michael R. Douglas
Simons Center for Geometry and Physics, Stony Brook
December 17, 2019

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 as formal knowledge repositories, semantic search and intelligent textbooks.