-
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 • 1
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.
Recent Activity
updated
a collection
about 2 hours ago
Neurosymbolic AI (+hyphen)
upvoted
a
paper
about 2 hours ago
SymbolicAI: A framework for logic-based approaches combining generative
models and solvers
Organizations
None yet