Jules Viennot

Identifiers

• name variant Jules Viennot 0.60 · backfill

Papers (1)

1. Putnam 2025 Problems in Rocq using Opus 4.6 and Rocq-MCP cs.LG · 2026 · author #4

Mentions

• 2603.20405 #4 · arxiv_oai · confidence 0.70 Jules Viennot

Frequent Coauthors

• Guillaume Baudart 1 shared papers
• Marc Lelarge 1 shared papers
• Tristan St\'erin 1 shared papers