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.
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.