@misc{indiciae9dba8c48d9d6, title = {GURU: A Hierarchical Neuro-Symbolic Multi-Agent System for Verification-Aware Automation of Mission-Critical Digital Engineering and Operations}, author = {Allan Grosvenor and Anton Zemlyansky and Abdul Wahab and Kyrylo Bohachov and Aras Dogan and Ryland Adams and Dwyer Deighan}, year = {2026}, url = {https://arxiv.org/abs/2611.01001}, note = {Source identifier: 2611.01001} }