Guillaume Baudart (Preferred)
Guillaume Baudart
Researcher, INRIA
- Joined March 2019
Names
Emails
****@ibm.com (Confirmed)
, ****@inria.fr (Confirmed)
, ****@ens.fr (Confirmed)
Personal Links
Career & Education History
Researcher
INRIA (inria.fr)
2020 – Present
Researcher
IBM Research (ibm.com)
2017 – 2020
PhD student
École normale supérieure (ens.fr)
2013 – 2017
Advisors, Relations & Conflicts
PhD Advisor
Timothy Bourke
2013 – 2017
Expertise
Neural Theorem Proving
2024 – Present
AI for Maths
2024 – Present
Probabilistic Programming
2018 – Present
Probabilistic Inference
2018 – Present
Sequential Monte Carlo methods
2018 – Present
Programming languages
2013 – Present
Synchronous Programming
2013 – 2017