The Connectionist Paradigm and the Question of Definition
December 2025
How do LLMs and generative AI redefine the notion of definition?
Ideas
Research projects, general philosophy, philosophy of language and mind.
Spinoza Project
March 2025
Formalization in Coq of Spinoza's Ethics Book I propositions based on Charles Jarrett's logical structure.
Transformer neurosurgery
August 2024
Notebook exploring neural network interpretability via Sparse Auto-Encoders.
The Platonic Representation Hypothesis in a Small World: Tic-Tac-Toe
June 2024
Research on the Platonic Representation Hypothesis using Tic-Tac-Toe. Exploring how neural networks develop shared representations across different architectures.
Absolute Generality and Genericity in Models of Computability
May 2024
How to distinguish absolute generality from genericity in models of computation? The role of logic as guarantor of termination.