Research
Research work, methods, and results. Each entry links to its available manuscript, report, or code.
Exact-arithmetic studies of how refined tropical abstractions can recover ReLU verification precision on constructed examples.
Unpaired 3D medical image translation with custom losses.
Comparative analysis of deep learning approaches for entity alignment in knowledge graphs (YAGO/Wikidata/DBpedia) at LISN, Univ. Paris-Saclay.
An exploratory study of abstraction-based ReLU verification using zones (DBMs), tropical geometry, and Julia prototypes.
Intégration d’une projection sur le cône métrique dans Phyloformer pour garantir la métricité des distances phylogénétiques.
MFCCs vs. Mel spectrograms for frame-level voiced/unvoiced detection with a small CNN—compact cepstra outperform higher-dimensional inputs on limited data.