[talks] 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.

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.