Assured Neuro Symbolic Components and Systems (ANSCS)

Neuro-symbolic AI is often envisioned as the next generation, ‘third wave’ of AI that will offer unique advantages both in design-time (e.g., engineering effort and verifiability of results) and at run-time (e.g., performance and safety). While these claims are expected to be true for engineered systems where development processes are built on the model-based (symbolic) tradition, they have not been substantiated in convincing, scaled examples.