Le paradigme connexioniste et la question de la définition
décembre 2025
Comment les LLMs et l'IA générative redéfinissent-ils la notion de définition ?
Idées
Projets de recherche, philosophie générale, du langage et de l'esprit.
Projet Spinoza
mars 2025
Formalisation en Coq des propositions du Livre I de l'Éthique de Spinoza basée sur la structure logique de Charles Jarrett.
Neurochirurgie des transformers
août 2024
Notebook explorant l'interprétabilité des réseaux de neurones via les Sparse Auto-Encoders.
L'hypothèse de représentation platonique dans un petit monde : le morpion
juin 2024
Recherche sur l'hypothèse de représentation platonique avec le jeu du morpion. Exploration des représentations partagées dans les réseaux de neurones.
Généralité absolue et généricité dans les modèles de la calculabilité
mai 2024
Comment distinguer généralité absolue et généricité dans les modèles de calcul ? Le rôle de la logique comme garante de la terminaison.