Henri Lemoine

Je suis un récent diplômé de McGill (B.Sc. en Statistiques et Informatique) poursuivant actuellement un MSc à Mila et à l'Université de Montréal. Je me concentre sur la recherche en sécurité de l'IA, en particulier le Contrôle de l'IA — développer des protocoles pour déployer en toute sécurité des systèmes d'IA en lesquels nous n'avons pas une confiance totale. Je suis ingénieur de recherche chez EquiStamp, où j'ai travaillé sur LinuxArena pour Redwood Research et la mise en référence pour METR.

Les projets récents incluent : protocoles d'Édition Non Fiables et l'exploration de l'exploitation des retours dans les protocoles de contrôle, les protocoles de bisampling, et les lois d'échelle du Contrôle de l'IA.

J'ai travaillé sur des outils tels que AlignmentSearch et Stampy Chat pour aider les autres à apprendre l'alignement. Pendant mes études de premier cycle, j'ai réalisé un projet de recherche sur le transfert sim-to-réal pour la locomotion robotique sous la direction du Professeur Hsiu-Chin Lin.

J'organise les rencontres ACX Montréal et j'ai auparavant aidé à gérer EA McGill et fondé AI Alignment McGill. Pendant mon temps libre, j'apprécie les échecs, le bras de ferJ'ai arrêté le bras de fer quand je me suis cassé le bras à Manifest. :P, et la prévision.

Publications

• Combinaison de moniteurs d'exécution sous contrainte de coût pour la sécurité de l'IA NeurIPS '25

Projets

J'ai également travaillé sur des projets moins sérieux : PressBench (auto-évaluation de la capacité de développé couché de l'IA) et un calculateur d'échecs n-dimensionnel.