Notes
Notes de recherche, leçons d’ingénierie et idées en chantier.
De courts textes techniques sur la fiabilité du ML, le débogage numérique, la portabilité entre GPU, le génie logiciel et les choix concrets derrière les systèmes de recherche.
Les articles eux-mêmes sont rédigés en anglais.
1 mai 2026
What I Want This Blog to Become
Academic papers are necessarily compressed. They describe the method, the evaluation, and the result, but they often leave out the messy middle: why a test design changed, why o...
Lire la note → 8 juillet 2025Automatically Detecting Numerical Instability in ML via Soft Assertions
In our FSE 2025 paper, we introduce Soft Assertions — a new approach to detect and trigger these hidden bugs automatically.
Lire la note → 7 juillet 2025Testing GPU Numerics: Finding Numerical Differences Between NVIDIA and AMD GPUs
Our SC24-W workshop paper presents a systematic method to detect and analyze these cross-vendor numerical differences.
Lire la note →