Tristan St\'erin

Identifiers

• name variant Tristan St\'erin 0.60 · backfill

Papers (1)

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

Mentions

• 2603.20405 #3 · arxiv_oai · confidence 0.70 Tristan St\'erin

Frequent Coauthors

• Guillaume Baudart 1 shared papers
• Jules Viennot 1 shared papers
• Marc Lelarge 1 shared papers