Jonathan Laurent

School of Computer Science, Carnegie Mellon University

  • Joined July 2019

Names

Jonathan Laurent

Emails

****@cs.cmu.edu (Confirmed)

Personal Links

Education & Career History

PhD student
School of Computer Science, Carnegie Mellon University (cs.cmu.edu)
2016 – Present
 

Advisors, Relations & Conflicts

PhD Advisor
2018 – Present
 

Expertise

Machine Learning for Theorem Proving
2018 – Present
 
Causality
2015 – 2018