Neuro-Symbolic pathways to AGI: compositional reasoning and trustworthy deployment
The Neural-Symbolic-Verification (NSV) Loop is introduced–a functional decomposition framework–and it is used to systematically survey neuro-symbolic integration as a principled pathway toward artificial general intelligence.