Guillaume Baudart

Identifiers

• name variant Guillaume Baudart 0.60 · backfill

Papers (4)

1. Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP cs.LG · 2026 · author #1
2. PoTo: A Hybrid Andersen's Points-to Analysis for Python cs.PL · 2024 · author #3
3. Yaps: Python Frontend to Stan cs.PL · 2018 · author #1
4. Deep Probabilistic Programming Languages: A Qualitative Study cs.AI · 2018 · author #1

Mentions

• 2409.03918 #3 · arxiv_oai · confidence 0.70 Guillaume Baudart
• 2603.20405 #1 · arxiv_oai · confidence 0.70 Guillaume Baudart

Frequent Coauthors

• Martin Hirzel 3 shared papers
• Louis Mandel 2 shared papers
• Ana Milanova 1 shared papers
• Avraham Shinnar 1 shared papers
• Ingkarat Rak-amnouykit 1 shared papers
• Jules Viennot 1 shared papers
• Julian Dolby 1 shared papers
• Kiran Kate 1 shared papers
• Marc Lelarge 1 shared papers
• Tristan St\'erin 1 shared papers