Institut National de Recherche en Informatique et en Automatique

AI & ML interests

None defined yet.

Recent Activity

rntc  authored a paper 2 days ago

Biomed-Enriched: A Biomedical Dataset Enriched with LLMs for Pretraining and Extracting Rare and Hidden Content

ananthu-aniraj  authored a paper 12 days ago

Inherently Faithful Attention Maps for Vision Transformers

JulesViennot  authored a paper 3 months ago

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

View all activity

Team members 74