0645 - 0700

Introductory Remarks
Organizers

0700 - 0800

Thinking like Transformers
Gail Weiss
Technion

0800 - 0900

When Gödel discovered Automatic Differentiation
Marie Kerjean
CNRS

0900 - 1000

Building machines that learn and think like people by learning to write programs
Joshua Tenenbaum
MIT

1000 - 1100

Panel Discussion
Panelists

1100 - 1200

The Lean Theorem Prover for an ML Audience
Daniel Selsam
Microsoft Research

1200 - 1330

Lunch / Poster Session
Contributors

1330 - 1400

Randomized Automatic Differentiation
Ryan Adams
Princeton

1400 - 1500

Dependent Types for Machine Learning in Dex
David Duvenaud
University of Toronto

1500 - 1600

Differential Inference: A Criminally Underused Tool
Alexander Rush
Cornell

1600 - 1700

Spotlight Talks
Outstanding Contributors

1700 - 1715

Learning to Synthesize Programs as Interpretable and Generalizable Policies
Shao-Hua Sun
USC

1700 - 1800

Poster Session
Contributors