Projets

Routeur LLM à checkpoint séparant données annotées, entraînement et sélection de modèle à l’exécution. J’ai cofondé Nordlys Labs et dirigé le travail IA jusqu’en mai 2026.

Audite les juges LLM pour détecter biais de position, longueur, auto-préférence et incohérence. Sur 150 paires JudgeBench, Ministral-8B passe de 0,61 de précision brute à 0,12 correcte dans les deux ordres.

Compare des stratégies de compression du KV-cache et leur impact sur la qualité. Stratigraphic rapporte un KV-cache analytique 2,2× plus petit pour +0,04 de perplexité sur Llama-3.2-1B-Instruct.

Agent d’analyse de dépôts qui explore progressivement code et historique git via un REPL. Il fournit 12 outils git, délégation à des sous-modèles, traces et budgets de coût stricts.

Framework de fuzzing de l’état interne des moteurs d’inférence LLM. Il capture et mute KV-cache, planificateur et cache de préfixes, puis vérifie des invariants avec des oracles réutilisables.

Benchmark synthétique de clôture comptable avec vérificateur déterministe, agents utilisant des outils et blocages pour les modifications comptables non autorisées.

Étude en simulation du football et du backflip pour Open Duck Mini. Une politique de jonglage atteint 4,87 touches consécutives en moyenne ; l’analyse explique pourquoi le robot actuel ne peut pas faire de backflip.

Compare la documentation des bibliothèques Python à leur usage réel dans des dépôts publics. Une exécution de référence analyse 119 dépôts et 544 appels.

Explorateur 3D de CSV dans le navigateur avec suivi des mains local. Il rend un jeu documenté de 2 200 points en un seul appel instancié selon trois topologies.

Prototype vocal pour la vente médicale combinant push-to-talk, transcription et recherche PubMed.

Prototype simulé combinant planification par renforcement, attaques de capteurs et détection pour satellites autonomes.

Implémentation pédagogique couvrant probabilités, divergence KL, ELBO, VAE et génération DDPM.

Générateur expérimental d’idées interdomaines fondé sur analogies structurelles, critique et prédictions réfutables.

Petite réplication de la répétition de prompts avec tests appariés de McNemar et résultats négatifs explicites.

Prototype d’interface de chat IA financée par placement publicitaire contextuel.

Workflow d’agent réutilisable pour découverte, recherche, comparaison d’options et planification d’entreprise.

Prototype de prospection pharmaceutique combinant recherche cartographique et affinage des requêtes par LLM.

Projet universitaire de détection d’intrusions par ML pour réseaux embarqués de véhicules.

Implémentation d’un Transformer depuis zéro : attention, encodage positionnel et entraînement.

Implémentation d’un LSTM depuis zéro : portes, état de cellule et rétropropagation temporelle.

Lexer et parseur Mini3ADR construits avec Flex et Bison pour un cours de compilation.

Générateur de texte caractère par caractère pour étudier séquences et gradients évanescents.