TY  - RPRT
TI  - AIVV: Neuro-Symbolic LLM Agent-Integrated Verification and Validation for Trustworthy Autonomous Systems
AU  - Jiyong Kwon
AU  - Ujin Jeon
AU  - Sooji Lee
AU  - Guang Lin
PY  - 2026
UR  - https://arxiv.org/abs/2604.02478
ID  - 2604.02478
ER  -