Projets
Une sélection de mes travaux en mathématiques appliquées et en intelligence artificielle.
Personnel · 2026
Logic Tensor Networks
Présentation et étude de cas des Logic Tensor Networks, un framework neuro-symbolique qui combine apprentissage profond et logique du premier ordre. Traduction des symboles, connecteurs et quantificateurs en opérations différentiables, et expérience semi-supervisée sur MNIST où le réseau apprend à reconnaître des chiffres uniquement à partir de la somme de deux chiffres, comparée à une baseline purement supervisée.
IA neuro-symboliquePyTorchLTNtorchLogique du premier ordre
Académique · 2025
Gomory - Méthode des plans sécants
Implémentation en Python pur de la méthode des coupes de Gomory pour résoudre des problèmes de programmation linéaire en nombres entiers (PLNE). Conçue dans un but pédagogique, elle utilise une arithmétique fractionnaire exacte et affiche les tableaux du simplexe étape par étape.
PythonProgrammation linéaireOptimisation
Académique · 2025
Simulation de Black-Scholes
Résolution analytique de l'équation de Black-Scholes par transformation en équation de la chaleur. Comprend la dérivation de la formule de prix et le calcul du Delta (grecque) d'une option d'achat européenne.
MathématiquesEDPFinance
