Configuring Neuro-Symbolic Systems with Guaranteed Properties with Application in Hybrid Intelligence
Neuro-symbolic systems are a promising paradigm for Hybrid Intelligence (HI), combining the complementary strengths of symbolic reasoning and machine learning in human-AI interactions. However, designing architectures that satisfy desired properties currently relies on informal reasoning, rather than a rigorous framewo...