ML inference of
loop invariants.

Instead of practicing,
this AI mastered chess
by reading about it.

A.F.T. Winfield (2018)
"Experiments in Artificial
Theory of Mind: From
Safety to Story-Telling."
Front. Robot. AI.

M.Innes, et al. (2019)
"dP: A Differentiable
Programming System
to Bridge ML and
Scientific Computing."
( .. )

Using ML to reveal
new scientific know-
ledge hidden in old
research papers.
( .. )

ML system capable
of deciphering
lost languages.
( .. )

E. O’Rourke, E. Butler, A.D.
Tolentino, Z. Popovic (2019)
"Automatic Generation of
Problems and Explanations
for an Intelligent Algebra
Tutor." A.I. in Education.

"All-optical spiking
neurosynaptic networks
with self-learning
capabilities." Nature.

T. Karras, S. Laine,
T. Aila (2019) "A Style-
Based Generator Architec-
ture for GANs." Video.

Simons Institute
video playlists.
On the webpage.
( .. )