Neuro-Symbolic pathways to AGI: compositional reasoning and trustworthy deployment
Large-scale neural architectures exhibit systematic failures in compositional generalization and formal verifiability despite remarkable pattern recognition capabilities. This paper introduces the Neural-Symbolic-Verification (NSV) Loop–a functional decomposition framework–and uses it to systematically survey neuro-symbolic integration as a principled pathway toward artificial general intelligence. The NSV Loop organizes hybrid architectures through four computational stages structuring perception, symbolic execution, verification, and feedback. We operationalize the Grounding-Instructibility-Alignment (G-I-A) framework for production assessment and demonstrate quantifiable advantages: perfect compositional accuracy on SCAN (100% vs 13.8% neural baseline, length split), sample efficiency gains exceeding 10 $$\times $$ × on visual reasoning tasks, and formal verification achieving certification rates above 95% with sub-100ms latency in autonomous systems. Analysis documents critical bottlenecks–grounding complexity scaling exponentially with entity count, cross-domain transfer exhibiting near-zero retention, and adversarial robustness evaluation remaining absent. The NSV+G-I-A framework enables systematic comparison manifesting when hybrid integration justifies complexity: safety-critical applications requiring formal guarantees, data-scarce environments, and compositional reasoning tasks. We establish clear capability boundaries distinguishing reliable improvements from speculative claims while proposing testable research directions with explicit validation protocols.