TY - RPRT TI - GURU: A Hierarchical Neuro-Symbolic Multi-Agent System for Verification-Aware Automation of Mission-Critical Digital Engineering and Operations AU - Allan Grosvenor AU - Anton Zemlyansky AU - Abdul Wahab AU - Kyrylo Bohachov AU - Aras Dogan AU - Ryland Adams AU - Dwyer Deighan PY - 2026 UR - https://arxiv.org/abs/2611.01001 ID - 2611.01001 ER -