4 ms·
Yes, I remember somebody doing a PhD in the US on theorem proving for a few years, but his last year he focused on doing deep learning work, did his PhD thesis
by auggierose 2y ago
Yes, I remember somebody doing a PhD in the US on theorem proving for a few years, but his last year he focused on doing deep learning work, did his PhD thesis on it, and got hired by OpenAI.