AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems. - Jiyong Kwon; Ujin Jeon; Sooji Lee; Guang Lin (CoRR, 2026)