## Reading

For the twenty-third class, we will *skim* two papers: **Generative Language Modeling for Automated
Theorem Proving** [PDF] by Stanislas Polu and Ilya Sutskever, and **Mathematical Reasoning via Self-supervised Skip-tree Training** [PDF] by Markus N. Rabe, Dennis Lee, Kshitij Bansal, and Christian Szegedy.

We are super lucky to have two guest speakers today---Stanislas Polu and Christian Szegedy! So skimming these papers is mostly a way to **prepare for their short talks**, so it's easier to follow and ask informed questions. We will have time for an open discussion after the talk and Q&A.

You can find a reading guide and the discussion questions below.

Please note that **this is due the morning before class**, so that we can discuss it in person. And **please install the artifact before Thursday's class**.