Baudart, Guillaume

3 publications

NeurIPSW 2024 NLIR: Natural Language Intermediate Representation for Mechanized Theorem Proving Laetitia Teodorescu, Guillaume Baudart, Emilio Jesús Gallego Arias, Marc Lelarge

ICMLW 2023 Automatic Rao-Blackwellization for Sequential Monte Carlo with Belief Propagation Waïss Azizian, Guillaume Baudart, Marc Lelarge

NeurIPS 2021 Pipeline Combinators for Gradual AutoML Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avi Shinnar, Jason Tsay