Abstract 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 × 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.
Hakim et al. (2026) studied this question.