Adam Saltiel
AdamSaltiel
AI & ML interests
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.
Organizations
None yet
-
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
Paper • 2508.14923 • Published • 1 -
A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
Paper • 2508.03665 • Published • 1 -
Thinking Beyond Tokens: From Brain-Inspired Intelligence to Cognitive Foundations for Artificial General Intelligence and its Societal Impact
Paper • 2507.00951 • Published • 23 -
HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
Paper • 2507.15917 • Published
Searches :- https://huggingface.co/search/full-text?q=Neural-Symbolic&type=model https://huggingface.co/search/full-text?q=latex+math&type=model
-
A Fully Spectral Neuro-Symbolic Reasoning Architecture with Graph Signal Processing as the Computational Backbone
Paper • 2508.14923 • Published • 1 -
A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
Paper • 2508.03665 • Published • 1 -
Thinking Beyond Tokens: From Brain-Inspired Intelligence to Cognitive Foundations for Artificial General Intelligence and its Societal Impact
Paper • 2507.00951 • Published • 23 -
HyDRA: A Hybrid-Driven Reasoning Architecture for Verifiable Knowledge Graphs
Paper • 2507.15917 • Published