Latest Project
Deep Concept Model (DCM)
A proposed neuro-symbolic AI research programme for building a formal concept algebra over mathematics, using dependent type theory, Lean 4, Mathlib, ontology graphs, hyperbolic embeddings, and verified concept generation to explore reasoning beyond natural language.
researchneuro-symbolic-aiknowledge-representation
Read CaseTotal Work
5
Latest
Present
Tags
Experience + Projects
Timeline
Experience and projects arranged together by date for a single view of applied systems work.
Complete Index