Adam Saltiel

Neuro-symbolic AI, HuggingFace contribution to the field of AI, building models that adhere to logical foundations -- Modal Homotopy Type Theory, (co)-constructive logic (Corfield, Trafford), formalisation (string diagrams, category theory), multi-language transformations and harnesses (e.g. Haskell, Lean). AI tools for intelligent text comprehension, utilising keywords, similarity measures, part-of-speech extraction, and summarisation. Knowledge graphs -- collective open semantic knowledge, OWL.