Conference
Open access
Sep 2026
Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence
This work develops a mathematical formalization that is grounded in Category Theory, in order to enable proof-based guarantees of properties of neuro-symbolic systems, and advances the theoretical foundations of neuro-symbolic AI by supporting principled design of HI systems.
Johannes E. Bendler
· Proceedings of the Thirty-Fi... · 0 citations