Darby Haller will present his General Exam "Search Heuristics and Term Encoding for Neural Theorem Proving" on Monday, May 10, 2021 at 2PM via Zoom. Zoom Link: https://princeton.zoom.us/j/5159240372 The members of Darby's committee are as follows: Jia Deng (adviser), Danqi Chen, Karthik Narasimhan Link to Abstract: https://docs.google.com/document/d/1JS5T3ESSKmSOC9f_wWg_dFpmghqpQkABOqZIPT61 jZQ/edit?usp=sharing Link to Reading List: https://docs.google.com/document/d/1o1ZKtoIUEhsgy4e5YP8V7M4JY78fUkpRroe3VTZE -j0/edit?usp=sharing Everyone is invited to attend the talk, and those faculty wishing to remain for the oral exam following are welcome to do so.