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 ?
Projets de recherche, philosophie générale, du langage et de l'esprit.
décembre 2025
Comment les LLMs et l'IA générative redéfinissent-ils la notion de définition ?
mars 2025
Formalisation en Coq des propositions du Livre I de l'Éthique de Spinoza basée sur la structure logique de Charles Jarrett.
août 2024
Notebook explorant l'interprétabilité des réseaux de neurones via les Sparse Auto-Encoders.
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.
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.