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