Jonathan Laurent

Jonathan Laurent is a PhD student in Computer Science at Carnegie Mellon University. His current research interests lie at the intersection of machine learning and automated theorem proving.

The speaker's profile picture

Sessions