Centre Inria de l'Université de Rennes

AI & ML interests

informatics

Recent Activity

JulesViennot  authored a paper 4 days ago

MiniF2F in Rocq: Automatic Translation Between Proof Assistants -- A Case Study

misovalko  authored a paper 5 months ago

The Llama 3 Herd of Models

tfuron  authored a paper 6 months ago

The Stable Signature: Rooting Watermarks in Latent Diffusion Models

View all activity

Team members 62